Pages that link to "Item:Q2549243"

The following pages link to Finding resolution proofs and using duplicate goals in AND/OR trees (Q2549243):

Displaying 3 items.

• An admissible and optimal algorithm for searching AND/OR graphs (Q2549574) (← links)
• Theorem proving with variable-constrained resolution (Q2554609) (← links)
• Representations of the language recognition problem for a theorem prover (Q4770508) (← links)