Simulating circuit-level simplifications on CNF (Q352967): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-011-9239-9
@@ Property / DOI: 10.1007/s10817-011-9239-9 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MathSAT
@@ Property / describes a project that uses: MathSAT / 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 @@
+Boolector
@@ Property / describes a project that uses: Boolector / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-011-9239-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2038777323
@@ Property / OpenAlex ID: W2038777323 / 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 @@
+Q4817533
@@ Property / cites work: Q4817533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / 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 @@
+An optimality result for clause form translation
@@ Property / cites work: An optimality result for clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5724242
@@ Property / cites work: Q5724242 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards feasible solutions of the tautology problem
+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 @@
+Applying Logic Synthesis for Speeding Up SAT
@@ Property / cites work: Applying Logic Synthesis for Speeding Up SAT / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Bit-Vectors and Arrays
@@ Property / cites work: A Decision Procedure for Bit-Vectors and Arrays / 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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Exact DFA Identification Using SAT Solvers
@@ Property / cites work: Exact DFA Identification Using SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Extended clause learning
@@ Property / cites work: Extended clause learning / 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 @@
+Reconstructing Solutions after Blocked Clause Elimination
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination
@@ Property / cites work: Blocked Clause Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741510
@@ Property / cites work: Q2741510 / rank @@
+Normal rank
@@ Property / cites work @@
+New methods for 3-SAT decision and worst-case analysis
+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 @@
+Q2741514
@@ Property / cites work: Q2741514 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Adaptive Noise and Look-Ahead in Local Search for SAT
+Normal rank
@@ Property / cites work @@
+Q4475702
@@ Property / cites work: Q4475702 / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Satisfiability with Less Searching
@@ Property / cites work: Solving Satisfiability with Less Searching / 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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Toward leaner binary-clause reasoning in a satisfiability solver
+Normal rank
@@ Property / DOI @@
+.1007/S10817-011-9239-9
@@ Property / DOI: 10.1007/S10817-011-9239-9 / rank @@
+Normal rank