Covered clauses are not propagation redundant (Q2096437): Difference between revisions

@@ Property / author @@
-David M. Cerna
@@ Property / author: David M. Cerna / rank @@
-Normal rank
@@ Property / author @@
+David M. Cerna
@@ Property / author: David M. Cerna / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Easychair
@@ Property / describes a project that uses: Easychair / 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-51074-9_3
+Normal rank
@@ Property / OpenAlex ID @@
+W3038140734
@@ Property / OpenAlex ID: W3038140734 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the pigeonhole principle
@@ Property / cites work: The complexity of the pigeonhole principle / rank @@
+Normal rank
@@ Property / cites work @@
+DRAT proofs, propagation redundancy, and extended resolution
+Normal rank
@@ Property / cites work @@
+Q3751004
@@ Property / cites work: Q3751004 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Incremental inprocessing in SAT solving
@@ Property / cites work: Incremental inprocessing in SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+What a difference a variable makes
@@ Property / cites work: What a difference a variable makes / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination Procedures for CNF Formulas
@@ Property / cites work: Clause Elimination Procedures for CNF Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination
@@ Property / cites work: Blocked Clause Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination for SAT and QSAT
@@ Property / cites work: Clause Elimination for SAT and QSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs without new variables
@@ Property / cites work: Short proofs without new variables / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding Redundancy for Satisfaction-Driven Clause Learning
+Normal rank
@@ Property / cites work @@
+Strong extension-free proof systems
@@ Property / cites work: Strong extension-free proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Truth Assignments as Conditional Autarkies
@@ Property / cites work: Truth Assignments as Conditional Autarkies / rank @@
+Normal rank
@@ Property / cites work @@
+Super-Blocked Clauses
@@ Property / cites work: Super-Blocked Clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-aided proof of Erdős discrepancy properties
+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 @@
+Applications of SAT Solvers to Cryptanalysis of Hash Functions
+Normal rank
@@ Property / cites work @@
+The complexity of facets (and some facets of complexity)
+Normal rank
@@ Property / cites work @@
+Q3703297
@@ Property / cites work: Q3703297 / rank @@
+Normal rank