Visualizing SAT instances and runs of the DPLL algorithm (Q2462641): Difference between revisions

@@ Property / cites work @@
+Complexity of Finding Embeddings in a <i>k</i>-Tree
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Formula Caching in DPLL
@@ Property / cites work: Formula Caching in DPLL / 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 @@
+Q3429153
@@ Property / cites work: Q3429153 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429163
@@ Property / cites work: Q3429163 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+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 @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+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 @@
+Bucket elimination: A unifying framework for reasoning
+Normal rank
@@ Property / cites work @@
+Algorithms for drawing graphs: An annotated bibliography
+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
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Directed hypergraphs and applications
@@ Property / cites work: Directed hypergraphs and applications / 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 @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Fixed-parameter complexity in AI and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+A fast algorithm for particle simulations
@@ Property / cites work: A fast algorithm for particle simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Proving consistency assertions for automotive product data management
+Normal rank
@@ Property / cites work @@
+Q3429157
@@ Property / cites work: Q3429157 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704799
@@ Property / cites work: Q4704799 / rank @@
+Normal rank
@@ Property / cites work @@
+Partitioning methods for satisfiability testing on large formulas
+Normal rank
@@ Property / cites work @@
+Ordered semantic hyper-linking
@@ Property / cites work: Ordered semantic hyper-linking / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution versus search: Two strategies for SAT
@@ Property / cites work: Resolution versus search: Two strategies for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Q4488090
@@ Property / cites work: Q4488090 / 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 @@
+Q4417952
@@ Property / cites work: Q4417952 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
+Normal rank
@@ Property / cites work @@
+A Multilevel Algorithm for Force-Directed Graph-Drawing
+Normal rank
@@ Property / cites work @@
+Collective dynamics of ‘small-world’ networks
@@ Property / cites work: Collective dynamics of ‘small-world’ networks / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable error detection using boolean satisfiability
+Normal rank
@@ Property / cites work @@
+Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies
+Normal rank