Folgen
Markus Iser
Titel
Zitiert von
Zitiert von
Jahr
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
652021
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
43*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
10*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
Memory-Efficient Parallel SAT Solving with Inprocessing
M Iser, T Balyo, C Sinz
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
42019
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
Active Learning for SAT Solver Benchmarking
T Fuchs, J Bach, M Iser
International Conference on Tools and Algorithms for the Construction and …, 2023
22023
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
22022
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
Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator.
J Werner, T Balyo, M Iser, M Klein
ConfWS, 24-32, 2021
12021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20