Combining Instance Generation and Resolution (Q3655208): Difference between revisions

@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+The model evolution calculus as a first-order DPLL method
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding First Order Proofs in SAT
@@ Property / cites work: Encoding First Order Proofs in SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Partial instantiation methods for inference in first-order logic
+Normal rank
@@ Property / cites work @@
+Logic-based decision support. Mixed integer model formulation
+Normal rank
@@ Property / cites work @@
+iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
+Normal rank
@@ Property / cites work @@
+Q4331764
@@ Property / cites work: Q4331764 / rank @@
+Normal rank
@@ Property / cites work @@
+SMELS: Satisfiability Modulo Equality with Lazy Superposition
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Automatic Theorem Proving With Renamable and Semantic Resolution
+Normal rank
@@ Property / cites work @@
+Q4804898
@@ Property / cites work: Q4804898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3515519
@@ Property / cites work: Q3515519 / 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