Markus Iser

According to our database, Markus Iser authored at least 20 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Active Learning for SAT Solver Benchmarking.

Tobias Fuchs, Jakob Bach, Markus Iser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Oracle-Based Local Search for Pseudo-Boolean Optimization.

Markus Iser, Jeremias Berg, Matti Järvisalo

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Construction of Decision Diagrams for Product Configuration.

Maxim Popov, Tomás Balyo, Markus Iser, Tobias Ostertag

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

Decision Heuristics in a Constraint-based Product Configurator.

Matthias Gorenflo, Tomás Balyo, Markus Iser, Tobias Ostertag

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

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

A Comprehensive Study of k-Portfolios of Recent SAT Solvers.

Jakob Bach, Markus Iser, Klemens Böhm

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

SAT Competition 2020.

Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda

Artif. Intell., 2021

Unit Propagation with Stable Watches (Short Paper).

Markus Iser, Tomás Balyo

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator.

Johannes Werner, Tomás Balyo, Markus Iser, Michael Klein

Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021

2020

Recognition and Exploitation of Gate Structure in SAT Solving.

Markus Iser

PhD thesis, 2020

Collaborative Management of Benchmark Instances and their Attributes.

Markus Iser, Luca Springer, Carsten Sinz

CoRR, 2020

2019

Memory Efficient Parallel SAT Solving with Inprocessing.

Markus Iser, Tomás Balyo, Carsten Sinz

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Integrating Static Code Analysis Toolchains.

Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

A Problem Meta-Data Library for Research in SAT.

Markus Iser, Carsten Sinz

Proceedings of Pragmatics of SAT 2015, 2018

2017

Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers.

Markus Iser, Felix Kutzner, Carsten Sinz

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

SAT Race 2015.

Tomás Balyo, Armin Biere, Markus Iser, Carsten Sinz

Artif. Intell., 2016

2015

Recognition of Nested Gates in CNF Formulas.

Markus Iser, Norbert Manthey, Carsten Sinz

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2013

Minimizing Models for Tseitin-Encoded SAT Instances.

Markus Iser, Carsten Sinz, Mana Taghdiri

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).

Markus Iser, Mana Taghdiri, Carsten Sinz

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2009

Problem-Sensitive Restart Heuristics for the DPLL Procedure.

Carsten Sinz, Markus Iser

Proceedings of the Theory and Applications of Satisfiability Testing, 2009