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

@@ Property / describes a project that uses @@
+versat
@@ Property / describes a project that uses: versat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GNATprove
@@ Property / describes a project that uses: GNATprove / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-88853-4_10
+Normal rank
@@ Property / OpenAlex ID @@
+W3202267117
@@ Property / OpenAlex ID: W3202267117 / rank @@
+Normal rank
@@ 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