Present and Future of Practical SAT Solving (Q5504707): Difference between revisions

@@ Property / describes a project that uses @@
+kcnfs
@@ Property / describes a project that uses: kcnfs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+March_eq
@@ Property / describes a project that uses: March_eq / 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-540-92800-3_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1526397236
@@ Property / OpenAlex ID: W1526397236 / rank @@
+Normal rank
@@ Property / cites work @@
+Mapping CSP into Many-Valued SAT
@@ Property / cites work: Mapping CSP into Many-Valued SAT / 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 @@
+Q5715680
@@ Property / cites work: Q5715680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3130273
@@ Property / cites work: Q3130273 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of tractable satisfiability problems
@@ Property / cites work: A hierarchy of tractable satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / 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 @@
+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 @@
+Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers
+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 @@
+Effective Incorporation of Double Look-Ahead Procedures
+Normal rank
@@ Property / cites work @@
+Q3604002
@@ Property / cites work: Q3604002 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10--13, 2004. Revised selected papers.
+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 @@
+Investigations on autark assignments
@@ Property / cites work: Investigations on autark assignments / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741528
@@ Property / cites work: Q2741528 / rank @@
+Normal rank
@@ Property / cites work @@
+Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
+Normal rank
@@ Property / cites work @@
+Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices
+Normal rank
@@ Property / cites work @@
+Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel
+Normal rank
@@ Property / cites work @@
+Searching for Autarkies to Trim Unsatisfiable Clause Sets
+Normal rank
@@ Property / cites work @@
+Search Problems in the Decision Tree Model
@@ Property / cites work: Search Problems in the Decision Tree Model / 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 -- SAT 2007. 10th international conference, Lisbon, Portugal, May 28--31, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+-Way vs.d -Way Branching for CSP
@@ Property / cites work: 2 -Way vs.d -Way Branching for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+Solving Satisfiability with Less Searching
@@ Property / cites work: Solving Satisfiability with Less Searching / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5504707