Ordered Binary Decision Diagrams and the Davis-Putnam procedure (Q5096299): Difference between revisions

@@ Property / cites work @@
+Q4288820
@@ Property / cites work: Q4288820 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Embedding Boolean expressions into logic programming
+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 @@
+Finding the optimal variable ordering for binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to the OBDD algorithm for the ATP community
+Normal rank
@@ Property / cites work @@
+Automated reasoning and exhaustive search: Quasigroup existence problems
+Normal rank