Truth Assignments as Conditional Autarkies (Q3297584): Difference between revisions

@@ Property / describes a project that uses @@
+DRAT-trim
@@ Property / describes a project that uses: DRAT-trim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Treengeling
@@ Property / describes a project that uses: Treengeling / 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-31784-3_3
+Normal rank
@@ Property / OpenAlex ID @@
+W2982005812
@@ Property / OpenAlex ID: W2982005812 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+The first collision for full SHA-1
@@ Property / cites work: The first collision for full SHA-1 / rank @@
+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 @@
+Simulating circuit-level simplifications on CNF
@@ Property / cites work: Simulating circuit-level simplifications on CNF / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+Super-Blocked Clauses
@@ Property / cites work: Super-Blocked Clauses / 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 @@
+Blocked Clause Elimination
@@ Property / cites work: Blocked Clause Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clauses in First-Order Logic
@@ Property / cites work: Blocked Clauses in First-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination for QBF
@@ Property / cites work: Blocked Clause Elimination for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / 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 @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+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 @@
+Clause Elimination for SAT and QSAT
@@ Property / cites work: Clause Elimination for SAT and QSAT / rank @@
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ Property / cites work @@
+Efficient certified RAT verification
@@ Property / cites work: Efficient certified RAT verification / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient verified (UN)SAT certificate checking
@@ Property / cites work: Efficient verified (UN)SAT certificate checking / 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 @@
+What a difference a variable makes
@@ Property / cites work: What a difference a variable makes / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding Redundancy for Satisfaction-Driven Clause Learning
+Normal rank
@@ Property / cites work @@
+Solution validation and extraction for QBF preprocessing
+Normal rank
@@ Property / cites work @@
+\({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property
+Normal rank
@@ Property / cites work @@
+QRATPre+: effective QBF preprocessing via strong redundancy properties
+Normal rank
@@ Property / cites work @@
+A unifying principle for clause elimination in first-order logic
+Normal rank
@@ Property / cites work @@
+Incremental inprocessing in SAT solving
@@ Property / cites work: Incremental inprocessing in SAT solving / rank @@
+Normal rank