„Boolean Formulas“

Suchergebnisse

1.000+ Treffer

• Reasons for Hardness in QBF Proof Systems
  Beyersdorff, Olaf ; Hinde, Luke ; Pich, Ján 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exact Algorithms and Hardness Result for the Boolean Connectivity Problem of k-Horn Formulas
  Horiyama, Takashi ; Okura, Yuto ; Seto, Kazuhisa ; Teruyama, Junichi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Some typical properties of large AND-OR Boolean formulas
  Lefmann, Hanno ; Savický, Petr 1995 Dekanat Informatik, Univ.
• Handbook of Parallel Constraint Reasoning
  Sais, Lakhdar ; Hamadi, Youssef 2018 Springer International Publishing
• Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas
  Cheng, Che ; Fung, Long-Hin ; Jiang, Jie-Hong Roland ; Slivovsky, Friedrich ; Tan, Tony 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decision Procedures – An Algorithmic Point of View
  Kroening, Daniel ; Strichman, Ofer 2016 Springer Berlin Heidelberg
• On the Complexity of Hazard-Free Formulas
  London Arazi, Leah ; Shpilka, Amir 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs
  Beyersdorff, Olaf ; Blinkhorn, Joshua ; Hinde, Luke 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SAT and Interactions (Dagstuhl Seminar 16381)
  Beyersdorff, Olaf ; Creignou, Nadia ; Egly, Uwe ; Vollmer, Heribert
• SAT Interactions (Dagstuhl Seminar 12471)
  Creignou, Nadia ; Galesi, Nicola ; Kullmann, Oliver ; Vollmer, Heribert
• Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
  Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina
• Models and Counter-Models of Quantified Boolean Formulas (Invited Talk)
  Seidl, Martina 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)
  Plank, Andreas ; Möhle, Sibylle ; Seidl, Martina 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas
  Plank, Andreas ; Seidl, Martina 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Complexity of k-DQBF
  Fung, Long-Hin ; Tan, Tony 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Boolean Formula Evaluation
  Das, Rathish ; Lincoln, Andrea ; Lynch, Jayson ; Munro, J. Ian 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Transformations of Boolean Functions
  Dudek, Jeffrey M. ; Fried, Dror 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Orthogonal Vectors Conjecture for Branching Programs and Formulas
  Kane, Daniel M. ; Williams, Richard Ryan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Formal Study of Boolean Games with Random Formulas as Payoff Functions
  Martin-Dorel, Érik ; Soloviev, Sergei 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lower Bound Techniques for QBF Proof Systems
  Mahajan, Meena 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik