„Model Counting“

Suchergebnisse

222 Treffer

• Private Counting of Distinct Elements in the Turnstile Model and Extensions
  Henzinger, Monika ; Sricharan, A. R. ; Steiner, Teresa Anna 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Anytime Weighted Model Counting with Approximation Guarantees for Probabilistic Inference
  Dubray, Alexandre ; Schaus, Pierre ; Nijssen, Siegfried 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Relative Strength of #SAT Proof Systems
  Beyersdorff, Olaf ; Fichte, Johannes Klaus ; Hecher, Markus ; Hoffmann, Tim ; Kasche, Kaspar 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Models and Counter-Models of Quantified Boolean Formulas (Invited Talk)
  Seidl, Martina 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solving a Family Of Multivariate Optimization and Decision Problems on Classes of Bounded Expansion
  Mock, Daniel ; Rossmanith, Peter 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
  Meel, Kuldeep S. ; de Colnet, Alexis 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Homogeneous Models of Fluted Languages
  Kojelis, Daumantas 2025 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
• Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses
  Dubray, Alexandre ; Schaus, Pierre ; Nijssen, Siegfried 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sampling from the Random Cluster Model on Random Regular Graphs at All Temperatures via Glauber Dynamics
  Galanis, Andreas ; Goldberg, Leslie Ann ; Smolarova, Paulina 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimal Mixing via Tensorization for Random Independent Sets on Arbitrary Trees
  Efthymiou, Charilaos ; Hayes, Thomas P. ; Štefankovič, Daniel ; Vigoda, Eric 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Facility Location in the Sublinear Geometric Model
  Monemizadeh, Morteza 2023 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
• Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?
  Chakraborty, Diptarka ; Chakraborty, Sourav ; Kumar, Gunjan ; Meel, Kuldeep S. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Twin-Width V: Linear Minors, Modular Counting, and Matrix Multiplication
  Bonnet, Édouard ; Giocanti, Ugo ; Ossona de Mendez, Patrice ; Thomassé, Stéphan 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
• A New Exact Solver for (Weighted) Max#SAT
  Audemard, Gilles ; Lagniez, Jean-Marie ; Miceli, Marie 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Weighted Model Counting with Twin-Width
  Ganian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Acquisition Based on Solution Counting
  Coulombe, Christopher ; Quimper, Claude-Guy 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik