Boolean functional synthesis: hardness and practical algorithms (Q2050108): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-020-00352-2
+Normal rank
@@ Property / OpenAlex ID @@
+W3093494889
@@ Property / OpenAlex ID: W3093494889 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Parallel Boolean Functional Synthesis
@@ Property / cites work: Towards Parallel Boolean Functional Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of Boolean unification
@@ Property / cites work: On the complexity of Boolean unification / rank @@
+Normal rank
@@ Property / cites work @@
+Unified QBF certification and its applications
@@ Property / cites work: Unified QBF certification and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802117
@@ Property / cites work: Q5802117 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in Boolean rings and Abelian groups
@@ Property / cites work: Unification in Boolean rings and Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+The Exponential Time Hypothesis and the Parameterized Clique Problem
+Normal rank
@@ Property / cites work @@
+Decomposable negation normal form
@@ Property / cites work: Decomposable negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric solutions of Boolean equations
@@ Property / cites work: Parametric solutions of Boolean equations / rank @@
+Normal rank
@@ Property / cites work @@
+BDD-Based Boolean Functional Synthesis
@@ Property / cites work: BDD-Based Boolean Functional Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds on the complexity of \(\mathsf{MSO}_1\) model-checking
+Normal rank
@@ Property / cites work @@
+On the complexity of \(k\)-SAT
@@ Property / cites work: On the complexity of \(k\)-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier Elimination via Functional Composition
@@ Property / cites work: Quantifier Elimination via Functional Composition / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines that take advice
@@ Property / cites work: Turing machines that take advice / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean unification - the story so far
@@ Property / cites work: Boolean unification - the story so far / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental Determinization
@@ Property / cites work: Incremental Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding and extending incremental determinization for 2QBF
+Normal rank