Computing finite models by reduction to function-free clause logic (Q1006733): Difference between revisions

@@ Property / cites work @@
+Q4249897
@@ Property / cites work: Q4249897 / 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 @@
+Computing answers with model elimination
@@ Property / cites work: Computing answers with model elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Blocking and Other Enhancements for Bottom-Up Model Generation Methods
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Theorems with the Modification Method
@@ Property / cites work: Proving Theorems with the Modification Method / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246965
@@ Property / cites work: Q4246965 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric Resolution: A Proof Procedure Based on Finite Model Search
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerful Technique to Eliminate Isomorphism in Finite Model Search
+Normal rank
@@ Property / cites work @@
+Proof and Model Generation with Disconnection Tableaux
+Normal rank
@@ Property / cites work @@
+Q2724150
@@ Property / cites work: Q2724150 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486135
@@ Property / cites work: Q5486135 / rank @@
+Normal rank