Pages that link to "Item:Q3613415"

The following pages link to Geometric Resolution: A Proof Procedure Based on Finite Model Search (Q3613415):

Displaying 19 items.

• Model evolution with equality -- revised and implemented (Q429586) (← links)
• Classical logic with partial functions (Q438568) (← links)
• Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
• Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
• Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
• Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
• Automated verification of refinement laws (Q1037397) (← links)
• Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
• On the mechanization of the proof of Hessenberg's theorem in coherent logic (Q2471743) (← links)
• Subsumption Algorithms for Three-Valued Geometric Resolution (Q2817925) (← links)
• Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
• Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
• Deciding Effectively Propositional Logic Using DPLL and Substitution Sets (Q3541720) (← links)
• Superposition for Bounded Domains (Q4913861) (← links)
• Bounded Relational Analysis of Free Data Types (Q5458813) (← links)
• Classical Logic with Partial Functions (Q5747762) (← links)
• A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
• Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
• Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)