Unit Propagation with Stable Watches (+Video) |
Markus Iser, Tomáš Balyo |
27th International Conference on Principles and Practice of Constraint Programming (CP 2021) |
2021 |
Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator |
Johannes Werner, Tomáš Balyo, Markus Iser, Michael Klein |
23rd Configuration Workshop (ConfWS 2021) |
2021 |
SAT Competition 2020 |
Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda |
Journal of Artificial Intelligence |
2021 |
Collaborative Management of Benchmark Instances and their Attributes |
Markus Iser, Luca Springer, Carsten Sinz |
arXiv preprint |
2020 |
Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions |
Editors: Tomáš Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda |
University of Helsinki, Department of Computer Science |
2020 |
Recognition and Exploitation of Gate Structure in SAT Solving (Dissertation) |
Markus Iser |
Karlsruhe Institute of Technology, Germany |
2020 |
Memory Efficient Parallel SAT Solving with Inprocessing |
Markus Iser, Tomáš Balyo, Carsten Sinz |
IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI 2019) |
2019 |
Candy for SAT Race 2019 |
Markus Iser, Felix Kutzner |
SAT RACE 2019 |
2019 |
Systematic Analysis of Experiments in Solving Boolean Satisfiability Problems |
Markus Iser |
Deduktionstreffen |
2019 |
Integrating Static Code Analysis Toolchains |
Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frederic Loiret, Stefan Otten, Eric Sax |
IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) |
2019 |
A Problem Meta-Data Library for Research in SAT |
Markus Iser, Carsten Sinz |
Proceedings of Pragmatics of SAT |
2019 |
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers |
Markus Iser, Felix Kutzner, Carsten Sinz |
IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI 2017) |
2017 |
System Description of Candy Kingdom - A Sweet Family of SAT Solvers |
Markus Iser, Felix Kutzner |
SAT COMPETITION 2017 |
2017 |
SAT Race 2015 |
Tomáš Balyo, Armin Biere, Markus Iser, Carsten Sinz |
Journal of Artificial Intelligence |
2016 |
Beans and Eggs - Proteins for Glucose 3.0 |
Markus Iser |
SAT COMPETITION 2016 |
2016 |
Recognition of Nested Gates in CNF Formulas |
Markus Iser, Norbert Manthey, Carsten Sinz |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2015) |
2015 |
Minimizing Models for Tseitin-Encoded SAT Instances |
Markus Iser, Carsten Sinz, Mana Taghdiri |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) |
2013 |
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod |
Markus Iser, Mana Taghdiri, Carsten Sinz |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2012) |
2012 |
MiniSAT 09z for SAT-Competition 2009 |
Markus Iser |
SAT 2009 competitive events booklet |
2009 |
Problem-Sensitive Restart Heuristics for the DPLL Procedure |
Carsten Sinz, Markus Iser |
International Conference on Theory and Applications of Satisfiability Testing (SAT 2009) |
2009 |