Pages that link to "Item:Q1331929"
From MaRDI portal
The following pages link to On the relative merits of path dissolution and the method of analytic tableaux (Q1331929):
Displaying 5 items.
- A truncation technique for clausal analytic tableaux (Q1198076) (← links)
- A tableau prover for domain minimization (Q1344878) (← links)
- The proof complexity of analytic and clausal tableaux (Q1575658) (← links)
- On the Computational Intractability of Analytic Tableau Methods (Q4318171) (← links)
- Reductions for non-clausal theorem proving (Q5958754) (← links)