( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SAT Competition 2020.

, , , , и . Artif. Intell., (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Markus Iser

Gernot Iser

Anna Iser

Wolfgang Iser

Mattias Iser

 

Другие публикации лиц с тем же именем

Recognition of Nested Gates in CNF Formulas., , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 255-271. Springer, (2015)Integrating Static Code Analysis Toolchains., , , , , , и . CoRR, (2024)Collaborative Management of Benchmark Instances and their Attributes., , и . CoRR, (2020)Unit Propagation with Stable Watches (Short Paper)., и . CP, том 210 из LIPIcs, стр. 6:1-6:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Recognition and Exploitation of Gate Structure in SAT Solving.. Karlsruhe Institute of Technology, Germany, (2020)Construction of Decision Diagrams for Product Configuration., , , и . ConfWS, том 3509 из CEUR Workshop Proceedings, стр. 108-117. CEUR-WS.org, (2023)Decision Heuristics in a Constraint-based Product Configurator., , , и . ConfWS, том 3509 из CEUR Workshop Proceedings, стр. 51-59. CEUR-WS.org, (2023)A Comprehensive Study of k-Portfolios of Recent SAT Solvers., , и . SAT, том 236 из LIPIcs, стр. 2:1-2:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Memory Efficient Parallel SAT Solving with Inprocessing., , и . ICTAI, стр. 64-70. IEEE, (2019)SAT Competition 2020., , , , и . Artif. Intell., (2021)