( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
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)

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

 

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

Integrating Static Code Analysis Toolchains., , , , , , и . CoRR, (2024)Unit Propagation with Stable Watches (Short Paper)., и . CP, том 210 из LIPIcs, стр. 6:1-6:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Recognition of Nested Gates in CNF Formulas., , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 255-271. Springer, (2015)Global Benchmark Database., и . SAT, том 305 из LIPIcs, стр. 18:1-18:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)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)Recognition and Exploitation of Gate Structure in SAT Solving.. Karlsruhe Institute of Technology, Germany, (2020)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)A Problem Meta-Data Library for Research in SAT., и . POS@SAT, том 59 из EPiC Series in Computing, стр. 144-152. EasyChair, (2018)Oracle-Based Local Search for Pseudo-Boolean Optimization., , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 1124-1131. IOS Press, (2023)