Markus Iser

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Topics

Boolean Optimization

Unit Propagation

Top Venues

Publications

Markus Iser
Automated Explanation Selection for Scientific Discovery. CoRR (2024)
Markus Iser, Christoph Jabs
Global Benchmark Database. SAT (2024)
Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
Integrating Static Code Analysis Toolchains. CoRR (2024)
Markus Iser, Christoph Jabs
Global Benchmark Database. CoRR (2024)
Markus Iser, Jeremias Berg, Matti Järvisalo
Oracle-Based Local Search for Pseudo-Boolean Optimization. ECAI (2023)
Tobias Fuchs, Jakob Bach, Markus Iser
Active Learning for SAT Solver Benchmarking. TACAS (1) (2023)
Matthias Gorenflo, Tomás Balyo, Markus Iser, Tobias Ostertag
Decision Heuristics in a Constraint-based Product Configurator. ConfWS (2023)
Maxim Popov, Tomás Balyo, Markus Iser, Tobias Ostertag
Construction of Decision Diagrams for Product Configuration. ConfWS (2023)
Jakob Bach, Markus Iser, Klemens Böhm
A Comprehensive Study of k-Portfolios of Recent SAT Solvers. SAT (2022)
Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer, Markus Iser
SATViz: Real-Time Visualization of Clausal Proofs. CoRR (2022)
Markus Iser, Tomás Balyo
Unit Propagation with Stable Watches (Short Paper). CP (2021)
Johannes Werner, Tomás Balyo, Markus Iser, Michael Klein
Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator. ConfWS (2021)
Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
SAT Competition 2020. Artif. Intell. 301 (2021)
Markus Iser, Luca Springer, Carsten Sinz
Collaborative Management of Benchmark Instances and their Attributes. CoRR (2020)
Markus Iser, Tomás Balyo, Carsten Sinz
Memory Efficient Parallel SAT Solving with Inprocessing. ICTAI (2019)
Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
Integrating Static Code Analysis Toolchains. COMPSAC (1) (2019)
Markus Iser, Carsten Sinz
A Problem Meta-Data Library for Research in SAT. POS@SAT (2018)
Markus Iser, Felix Kutzner, Carsten Sinz
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. ICTAI (2017)
Tomás Balyo, Armin Biere, Markus Iser, Carsten Sinz
SAT Race 2015. Artif. Intell. 241 (2016)
Markus Iser, Norbert Manthey, Carsten Sinz
Recognition of Nested Gates in CNF Formulas. SAT (2015)
Markus Iser, Carsten Sinz, Mana Taghdiri
Minimizing Models for Tseitin-Encoded SAT Instances. SAT (2013)
Markus Iser, Mana Taghdiri, Carsten Sinz
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). SAT (2012)
Carsten Sinz, Markus Iser
Problem-Sensitive Restart Heuristics for the DPLL Procedure. SAT (2009)