Problem-Sensitive Restart Heuristics for the DPLL Procedure. - Carsten Sinz; Markus Iser (SAT, 2009)

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). - Markus Iser; Mana Taghdiri; Carsten Sinz (SAT, 2012)

Minimizing Models for Tseitin-Encoded SAT Instances. - Markus Iser; Carsten Sinz; Mana Taghdiri (SAT, 2013)

Recognition of Nested Gates in CNF Formulas. - Markus Iser; Norbert Manthey; Carsten Sinz (SAT, 2015)

SAT Race 2015. - Tomás Balyo; Armin Biere; Markus Iser; Carsten Sinz (Artif. Intell., 2016)

Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. - Markus Iser; Felix Kutzner; Carsten Sinz (ICTAI, 2017)

A Problem Meta-Data Library for Research in SAT. - Markus Iser; Carsten Sinz (POS@SAT, 2018)

Integrating Static Code Analysis Toolchains. - Matthias Kern; Ferhat Erata; Markus Iser; Carsten Sinz; Frédéric Loiret; Stefan Otten; Eric Sax (COMPSAC (1), 2019)

Memory Efficient Parallel SAT Solving with Inprocessing. - Markus Iser; Tomás Balyo; Carsten Sinz (ICTAI, 2019)

Collaborative Management of Benchmark Instances and their Attributes. - Markus Iser; Luca Springer; Carsten Sinz (CoRR, 2020)

Recognition and Exploitation of Gate Structure in SAT Solving. - Markus Iser (2020)

Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator. - Johannes Werner; Tomás Balyo; Markus Iser; Michael Klein (ConfWS, 2021)

Unit Propagation with Stable Watches (Short Paper). - Markus Iser; Tomás Balyo (CP, 2021)

SAT Competition 2020. - Nils Froleyks; Marijn Heule; Markus Iser; Matti Järvisalo; Martin Suda 001 (Artif. Intell., 2021)

A Comprehensive Study of k-Portfolios of Recent SAT Solvers. - Jakob Bach; Markus Iser; Klemens Böhm (SAT, 2022)

SATViz: Real-Time Visualization of Clausal Proofs. - Tim Holzenkamp; Kevin Kuryshev; Thomas Oltmann; Lucas Wäldele; Johann Zuber; Tobias Heuer; Markus Iser (CoRR, 2022)

Decision Heuristics in a Constraint-based Product Configurator. - Matthias Gorenflo; Tomás Balyo; Markus Iser; Tobias Ostertag (ConfWS, 2023)

Construction of Decision Diagrams for Product Configuration. - Maxim Popov; Tomás Balyo; Markus Iser; Tobias Ostertag (ConfWS, 2023)

Oracle-Based Local Search for Pseudo-Boolean Optimization. - Markus Iser; Jeremias Berg; Matti Järvisalo (ECAI, 2023)

Global Benchmark Database. - Markus Iser; Christoph Jabs (SAT, 2024)

Automated Explanation Selection for Scientific Discovery. - Markus Iser (CoRR, 2024)

Global Benchmark Database. - Markus Iser; Christoph Jabs (DROPS Artifacts, 2024)

Global Benchmark Database (Extension Module). - Markus Iser; Christoph Jabs (DROPS Artifacts, 2024)

GBD Evaluation Scripts. - Markus Iser; Christoph Jabs (DROPS Artifacts, 2024)

GBD Data Repository. - Markus Iser; Christoph Jabs (DROPS Artifacts, 2024)

Active Learning for SAT Solver Benchmarking. - Tobias Fuchs; Jakob Bach; Markus Iser (J. Autom. Reason., 2025)