A Short Implicant of a CNF Formula with Many Satisfying Assignments (Q2942635): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W297482899
@@ Property / OpenAlex ID: W297482899 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Sigma_ 1^ 1\)-formulae on finite structures
@@ Property / cites work: \(\Sigma_ 1^ 1\)-formulae on finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417683
@@ Property / cites work: Q5417683 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Pseudorandom Generators for Depth 2 Circuits
+Normal rank
@@ Property / cites work @@
+A fast deterministic algorithm for formulas that have many satisfying assignments
+Normal rank
@@ Property / cites work @@
+A constructive proof of the Lovász local lemma
@@ Property / cites work: A constructive proof of the Lovász local lemma / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive proof of the general lovász local lemma
+Normal rank