Verifying the conversion into CNF in dafny (Q2148786): Difference between revisions

@@ Property / cites work @@
+Extracting verified decision procedures: DPLL and Resolution
+Normal rank
@@ Property / cites work @@
+A verified SAT solver framework with learn, forget, restart, and incrementality
+Normal rank
@@ Property / cites work @@
+An optimality result for clause form translation
@@ Property / cites work: An optimality result for clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q6099609
@@ Property / cites work: Q6099609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization and implementation of modern SAT solvers
+Normal rank
@@ Property / cites work @@
+Formalization of Abstract State Transition Systems for SAT
+Normal rank
@@ Property / cites work @@
+Q6060676
@@ Property / cites work: Q6060676 / rank @@
+Normal rank
@@ Property / cites work @@
+versat: A Verified Modern SAT Solver
@@ Property / cites work: versat: A Verified Modern SAT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Verification of a DPLL-Based Satisfiability Solver
+Normal rank
@@ Property / cites work @@
+Q5604434
@@ Property / cites work: Q5604434 / rank @@
+Normal rank