SCL clause learning from simple models (Q2305416): Difference between revisions

@@ Property / cites work @@
+NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment
+Normal rank
@@ Property / cites work @@
+Q3838803
@@ Property / cites work: Q3838803 / rank @@
+Normal rank
@@ Property / cites work @@
+Lemma Learning in the Model Evolution Calculus
@@ Property / cites work: Lemma Learning in the Model Evolution Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Semantically-guided goal-sensitive reasoning: model representation
+Normal rank
@@ Property / cites work @@
+Linear Integer Arithmetic Revisited
@@ Property / cites work: Linear Integer Arithmetic Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Model Representation over Finite and Infinite Signatures
+Normal rank
@@ Property / cites work @@
+Superposition for Bounded Domains
@@ Property / cites work: Superposition for Bounded Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning
+Normal rank
@@ Property / cites work @@
+Non-cyclic Sorts for First-Order Satisfiability
@@ Property / cites work: Non-cyclic Sorts for First-Order Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Systems for Effectively Propositional Logic
@@ Property / cites work: Proof Systems for Effectively Propositional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding effectively propositional logic using DPLL and substitution sets
+Normal rank
@@ Property / cites work @@
+Complete problems in the first-order predicate calculus
+Normal rank
@@ Property / cites work @@
+The CADE-14 ATP system competition
@@ Property / cites work: The CADE-14 ATP system competition / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation
+Normal rank