Folgen
Markus Iser
Titel
Zitiert von
Zitiert von
Jahr
SAT Competition 2020
N Froleyks, M Heule, M Iser, M Järvisalo, M Suda
Artificial Intelligence 301, 103572, 2021
882021
SAT Race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
752016
Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions
T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda
Department of Computer Science, University of Helsinki, 2020
222020
Problem-Sensitive Restart Heuristics for the DPLL Procedure
C Sinz, M Iser
International Conference on Theory and Applications of Satisfiability …, 2009
222009
SAT Competitions (Web Content)
M Heule, M Järvisalo, M Suda, M Iser, T Balyo
15*2019
Minimizing Models for Tseitin-Encoded SAT Instances
M Iser, C Sinz, M Taghdiri
International Conference on Theory and Applications of Satisfiability …, 2013
152013
A Problem Meta-Data Library for Research in SAT
M Iser, C Sinz
Proceedings of Pragmatics of SAT 59, 144-152, 2019
14*2019
Recognition of Nested Gates in CNF Formulas
M Iser, N Manthey, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
122015
Recognition and Exploitation of Gate Structure in SAT Solving
M Iser
Karlsruhe Institute of Technology, Germany, 2020
62020
Memory-Efficient Parallel SAT Solving with Inprocessing
M Iser, T Balyo, C Sinz
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
62019
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
62017
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
Active Learning for SAT Solver Benchmarking
T Fuchs, J Bach, M Iser
International Conference on Tools and Algorithms for the Construction and …, 2023
52023
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
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
42022
SAT COMPETITION 2022
T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda
Accessed, 2021
32021
Unit Propagation with Stable Watches (Short Paper)
M Iser, T Balyo
27th International Conference on Principles and Practice of Constraint …, 2021
32021
Construction of Decision Diagrams for Product Configuration.
M Popov, T Balyo, M Iser, T Ostertag
ConfWS, 108-117, 2023
22023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20