Biere, Armin

8 publications

JAIR 2026 MaxSAT Fuzzing and Delta Debugging Tobias Paxian, Armin Biere

AAAI 2024 Disjoint Partial Enumeration Without Blocking Clauses Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

JAIR 2024 Satisfiability Modulo User Propagators Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

JAIR 2022 Better Decision Heuristics in CDCL Through Local Search and Target Phases Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere

IJCAI 2021 Decomposition Strategies to Count Integer Solutions over Linear Constraints Cunjing Ge, Armin Biere

IJCAI 2017 Blockedness in Propositional Logic: Are You Satisfied with Your Neighborhood? Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere

JAIR 2015 Clause Elimination for SAT and QSAT Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere

AAAI 2015 Stochastic Local Search for Satisfiability Modulo Theories Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi