Obserwuj
Markus Iser
Tytuł
Cytowane przez
Cytowane przez
Rok
SAT Competition 2020
N Froleyks, M Heule, M Iser, M Järvisalo, M Suda
Artificial Intelligence 301, 103572, 2021
912021
SAT Race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
762016
Problem-Sensitive Restart Heuristics for the DPLL Procedure
C Sinz, M Iser
International Conference on Theory and Applications of Satisfiability …, 2009
222009
Minimizing Models for Tseitin-Encoded SAT Instances
M Iser, C Sinz, M Taghdiri
International Conference on Theory and Applications of Satisfiability …, 2013
182013
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
172020
A Problem Meta-Data Library for Research in SAT
M Iser, C Sinz
Proceedings of Pragmatics of SAT 59, 144-152, 2019
15*2019
SAT Competitions (Web Content)
M Heule, M Järvisalo, M Suda, M Iser, T Balyo
15*2019
Recognition of Nested Gates in CNF Formulas
M Iser, N Manthey, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
122015
Memory-Efficient Parallel SAT Solving with Inprocessing
M Iser, T Balyo, C Sinz
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
72019
Solver and benchmark descriptions
T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda
Proceedings of SAT Competition, 2020
62020
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
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
52022
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
SAT COMPETITION 2022
T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda
32022
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
International Workshop on Configuration, 108-117, 2023
22023
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
22023
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20