„QBF“

Suchergebnisse

1.000+ Treffer

• Understanding Cutting Planes for QBFs
  Beyersdorff, Olaf ; Chew, Leroy Nicholas ; Mahajan, Meena ; Shukla, Anil 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SAT and Interactions (Dagstuhl Seminar 20061)
  Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Cláudia
• Reasons for Hardness in QBF Proof Systems
  Beyersdorff, Olaf ; Hinde, Luke ; Pich, Ján 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Genuine Lower Bounds for QBF Expansion
  Beyersdorff, Olaf ; Blinkhorn, Joshua 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From DQBF to QBF by Dependency Elimination
  Wimmer, Ralf ; Karrenbauer, Andreas ; Becker, Ruben ; Scholl, Christoph ; Becker, Bernd 2018 Universitätsbibliothek Tübingen
• On the Interplay of Cube Learning and Dependency Schemes in {QCDCL} Proof Systems
  Choudhury, Abhimanyu ; Mahajan, Meena 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ParaQooba: a fast and flexible framework for parallel and distributed QBF solving
  Heisinger, Maximilian ; Seidl, Martina ; Biere, Armin 2025 Universität
• Handbook of Parallel Constraint Reasoning
  Sais, Lakhdar ; Hamadi, Youssef 2018 Springer International Publishing
• Better Extension Variables in DQBF via Independence
  Chew, Leroy Nicholas ; Peitl, Tomáš 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semi-Algebraic Proof Systems for QBF
  Beyersdorff, Olaf ; Bonacina, Ilario ; Kasche, Kaspar ; Mahajan, Meena ; Spachmann, Luc 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Building Strategies into QBF Proofs
  Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dependency Schemes in CDCL-Based QBF Solving: A Proof-Theoretic Study
  Choudhury, Abhimanyu ; Mahajan, Meena
• Dependency Schemes in CDCL-Based QBF Solving: A Proof-Theoretic Study
  Choudhury, Abhimanyu ; Mahajan, Meena 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• QCDCL vs QBF Resolution: Further Insights
  Böhm, Benjamin ; Beyersdorff, Olaf 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• QBF Merge Resolution Is Powerful but Unnatural
  Mahajan, Meena ; Sood, Gaurav 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Should Decisions in QCDCL Follow Prefix Order?
  Böhm, Benjamin ; Peitl, Tomáš ; Beyersdorff, Olaf 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
  Beyersdorff, Olaf ; Böhm, Benjamin 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hard QBFs for Merge Resolution
  Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Gaurav 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Building Strategies into QBF Proofs
  Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena
• 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