Theorem proving by chain resolution

DOI10.1016/S0304-3975(97)00128-XzbMath0913.68187MaRDI QIDQ1274972

Abderrahim Marzouk, Patrick Dehornoy

Publication date: 12 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

theorem provingpropositional logicpolynomial systemsclausal refutation

Mathematics Subject Classification ID

Related Items (1)

Birth of Garside groups in memory of Patrick Dehornoy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the relation between resolution based and completion based theorem proving
• Refutational theorem proving using term-rewriting systems
• Basic principles of mechanical theorem proving in elementary geometries
• Linear resolution with selection function

This page was built for publication: Theorem proving by chain resolution