The Mechanical Verification of a DPLL-Based Satisfiability Solver (Q5179007): Difference between revisions

@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709921
@@ Property / cites work: Q3709921 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+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 Tutorial on Satisfiability Modulo Theories
@@ Property / cites work: A Tutorial on Satisfiability Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Simplify: a theorem prover for program checking
@@ Property / cites work: Simplify: a theorem prover for program checking / 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 @@
+Formalization and implementation of modern SAT solvers
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Towards mechanical metamathematics
@@ Property / cites work: Towards mechanical metamathematics / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanical proof of the Church-Rosser theorem
@@ Property / cites work: A mechanical proof of the Church-Rosser theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics, Machines and Gödel's Proof
@@ Property / cites work: Metamathematics, Machines and Gödel's Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722014
@@ Property / cites work: Q2722014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682461
@@ Property / cites work: Q3682461 / rank @@
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank