„Boolean Formulas“
Suchergebnisse
1.000+ Treffer
-
Reasons for Hardness in QBF Proof Systems
-
Exact Algorithms and Hardness Result for the Boolean Connectivity Problem of k-Horn Formulas
-
Some typical properties of large AND-OR Boolean formulas
-
Handbook of Parallel Constraint Reasoning
-
Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas
-
Decision Procedures – An Algorithmic Point of View
-
On the Complexity of Hazard-Free Formulas
-
Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs
-
SAT and Interactions (Dagstuhl Seminar 16381)
-
SAT Interactions (Dagstuhl Seminar 12471)
-
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
-
Models and Counter-Models of Quantified Boolean Formulas (Invited Talk)
-
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)
-
QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas
-
On the Complexity of k-DQBF
-
Dynamic Boolean Formula Evaluation
-
Transformations of Boolean Functions
-
The Orthogonal Vectors Conjecture for Branching Programs and Formulas
-
A Formal Study of Boolean Games with Random Formulas as Payoff Functions
-
Lower Bound Techniques for QBF Proof Systems