Follow
Markus Iser
Title
Cited by
Cited by
Year
SAT Race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
692016
SAT Competition 2020
N Froleyks, M Heule, M Iser, M Järvisalo, M Suda
Artificial Intelligence 301, 103572, 2021
612021
Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions
T Balyo, MJH Heule, M Iser, M Järvisalo, M Suda
Department of Computer Science, University of Helsinki, 2022
36*2022
Problem-Sensitive Restart Heuristics for the DPLL Procedure
C Sinz, M Iser
International Conference on Theory and Applications of Satisfiability …, 2009
222009
SAT Competitions
M Heule, M Järvisalo, M Suda, M Iser, T Balyo
19*2019
Minimizing Models for Tseitin-Encoded SAT Instances
M Iser, C Sinz, M Taghdiri
International Conference on Theory and Applications of Satisfiability …, 2013
132013
Recognition of Nested Gates in CNF Formulas
M Iser, N Manthey, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
122015
A Problem Meta-Data Library for Research in SAT
M Iser, C Sinz
Proceedings of Pragmatics of SAT 59, 144-152, 2019
8*2019
Optimizing MiniSAT variable orderings for the relational model finder Kodkod
M Iser, M Taghdiri, C Sinz
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
62012
Recognition and Exploitation of Gate Structure in SAT Solving
M Iser
Karlsruhe Institute of Technology, Germany, 2020
52020
Integrating Static Code Analysis Toolchains
M Kern, F Erata, M Iser, C Sinz, F Loiret, S Otten, E Sax
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019
52019
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers
M Iser, F Kutzner, C Sinz
2017 IEEE 29th International Conference on Tools with Artificial …, 2017
52017
Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions
T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda
University of Helsinki, Department of Computer Science, 2020
3*2020
Memory-Efficient Parallel SAT Solving with Inprocessing
M Iser, T Balyo, C Sinz
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
32019
Unit Propagation with Stable Watches (Short Paper)
M Iser, T Balyo
27th International Conference on Principles and Practice of Constraint …, 2021
22021
Collaborative management of benchmark instances and their attributes
M Iser, L Springer, C Sinz
arXiv preprint arXiv:2009.02995, 2020
22020
MiniSAT 09z for SAT-Competition 2009
M Iser
SAT 2009 competitive events booklet: preliminary version, 29, 2009
22009
Active Learning for SAT Solver Benchmarking
T Fuchs, J Bach, M Iser
International Conference on Tools and Algorithms for the Construction and …, 2023
12023
Oracle-Based Local Search for Pseudo-Boolean Optimization
M Iser, J Berg, M Järvisalo
Proceedings of the 26th European Conference on Artificial Intelligence (ECAI …, 2023
12023
A Comprehensive Study of k-Portfolios of Recent SAT Solvers
J Bach, M Iser, K Böhm
25th International Conference on Theory and Applications of Satisfiability …, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20