Pages that link to "Item:Q2389629"

The following pages link to The model evolution calculus as a first-order DPLL method (Q2389629):

Displaying 19 items.

• Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
• Model evolution with equality -- revised and implemented (Q429586) (← links)
• A sound and complete model-generation procedure for consistent and confidentiality-preserving databases (Q549726) (← links)
• Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
• Labelled splitting (Q1037396) (← links)
• Solving quantified verification conditions using satisfiability modulo theories (Q1037401) (← links)
• First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
• Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
• SGGS decision procedures (Q2096457) (← links)
• Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
• SMELS: satisfiability modulo equality with lazy superposition (Q2351265) (← links)
• On First-Order Model-Based Reasoning (Q2945706) (← links)
• History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
• SMELS: Satisfiability Modulo Equality with Lazy Superposition (Q3540073) (← links)
• Deciding Effectively Propositional Logic Using DPLL and Substitution Sets (Q3541720) (← links)
• Combining Instance Generation and Resolution (Q3655208) (← links)
• The Relative Power of Semantics and Unification (Q4916085) (← links)
• A Slice-Based Decision Procedure for Type-Based Partial Orders (Q5747758) (← links)
• Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)