On converting CNF to DNF (Q2576880): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.07.029
+Normal rank
@@ Property / OpenAlex ID @@
+W2064149002
@@ Property / OpenAlex ID: W2064149002 / rank @@
+Normal rank
@@ Property / cites work @@
+A very simple function that requires exponential size read-once branching programs.
+Normal rank
@@ Property / cites work @@
+The tail of the hypergeometric distribution
@@ Property / cites work: The tail of the hypergeometric distribution / rank @@
+Normal rank
@@ Property / cites work @@
+A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search.
+Normal rank
@@ Property / cites work @@
+Q2754147
@@ Property / cites work: Q2754147 / 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 @@
+Q4736839
@@ Property / cites work: Q4736839 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance Tuning an Algorithm for Compressing Relational Tables
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+An improved exponential-time algorithm for             <i>k</i>             -SAT
+Normal rank
@@ Property / cites work @@
+On Cores and Prime Implicants of Truth Functions
@@ Property / cites work: On Cores and Prime Implicants of Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Natural proofs
@@ Property / cites work: Natural proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic algorithm for \(k\)-SAT based on limited local search and restart
+Normal rank
@@ Property / cites work @@
+Minimal polynomials for the conjunction of functions on disjoint variables can be very simple
+Normal rank
@@ Property / cites work @@
+Q3762226
@@ Property / cites work: Q3762226 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank