Expressing Symmetry Breaking in DRAT Proofs (Q3454124): Difference between revisions

@@ Property / author @@
-Nathan D. Wetzler
@@ Property / author: Nathan D. Wetzler / rank @@
-Normal rank
@@ Property / author @@
+Nathan D. Wetzler
@@ Property / author: Nathan D. Wetzler / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PicoSAT
@@ Property / describes a project that uses: PicoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DRAT-trim
@@ Property / describes a project that uses: DRAT-trim / 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-319-21401-6_40
+Normal rank
@@ Property / OpenAlex ID @@
+W2236514805
@@ Property / OpenAlex ID: W2236514805 / rank @@
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ Property / cites work @@
+A SAT Attack on the Erdős Discrepancy Conjecture
@@ Property / cites work: A SAT Attack on the Erdős Discrepancy Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+The van der Waerden Number<i>W</i>(2, 6) Is 1132
@@ Property / cites work: The van der Waerden Number<i>W</i>(2, 6) Is 1132 / rank @@
+Normal rank
@@ Property / cites work @@
+Sorting nine inputs requires twenty-five comparisons
+Normal rank
@@ Property / cites work @@
+Simple second-order languages for which unification is undecidable
+Normal rank
@@ Property / cites work @@
+Dynamic Symmetry Breaking by Simulating Zykov Contraction
+Normal rank
@@ Property / cites work @@
+Small Ramsey numbers
@@ Property / cites work: Small Ramsey numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalization of extended resolution
@@ Property / cites work: On a generalization of extended resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Banishing the rule of substitution for functional variables
+Normal rank
@@ Property / cites work @@
+Verifying Refutations with Extended Resolution
@@ Property / cites work: Verifying Refutations with Extended Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination
@@ Property / cites work: Blocked Clause Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Verification of SAT Refutations with Extended Resolution
+Normal rank
@@ Property / cites work @@
+Automated Testing and Debugging of SAT and QBF Solvers
+Normal rank