„Propositional model counting“

Suchergebnisse

10 Treffer

• Certifying Projected Knowledge Compilation
  Bryant, Randal E. ; Tan, Yong Kiam ; Heule, Marijn J. H. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Circuits, Proofs and Propositional Model Counting
  Chede, Sravanthi ; Chew, Leroy Nicholas ; Shukla, Anil 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Certified Knowledge Compilation with Application to Verified Model Counting
  Bryant, Randal E. ; Nawrocki, Wojciech ; Avigad, Jeremy ; Heule, Marijn J. H. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proof Complexity of Propositional Model Counting
  Beyersdorff, Olaf ; Hoffmann, Tim ; Spachmann, Luc 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proofs for Propositional Model Counting
  Fichte, Johannes Klaus ; Hecher, Markus ; Roland, Valentin 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization
  Fichte, Johannes Klaus ; Hecher, Markus ; Roland, Valentin 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper)
  Korhonen, Tuukka ; Järvisalo, Matti 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width
  Ganian, Robert ; Hlinený, Petr ; Obdrzálek, Jan 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic blocked clause elimination for projected model counting
  Lagniez, Jean-Marie ; Marquis, Pierre ; Biere, Armin 2025 Universität
• On Preprocessing Techniques and Their Impact on Propositional Model Counting
  Lagniez, Jean-Marie ; Marquis, Pierre