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

@@ Property / DOI @@
-.1016/j.entcs.2011.03.002
@@ Property / DOI: 10.1016/j.entcs.2011.03.002 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2080046595
@@ Property / OpenAlex ID: W2080046595 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318278
@@ Property / Wikidata QID: Q113318278 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ENTCS.2011.03.002
@@ Property / DOI: 10.1016/J.ENTCS.2011.03.002 / rank @@
+Normal rank