Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Recognition of Nested Gates in CNF Formulas., , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 255-271. Springer, (2015)Collaborative Management of Benchmark Instances and their Attributes., , and . CoRR, (2020)Integrating Static Code Analysis Toolchains., , , , , , and . CoRR, (2024)Unit Propagation with Stable Watches (Short Paper)., and . CP, volume 210 of LIPIcs, page 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., , , and . ConfWS, volume 3509 of CEUR Workshop Proceedings, page 108-117. CEUR-WS.org, (2023)Decision Heuristics in a Constraint-based Product Configurator., , , and . ConfWS, volume 3509 of CEUR Workshop Proceedings, page 51-59. CEUR-WS.org, (2023)A Comprehensive Study of k-Portfolios of Recent SAT Solvers., , and . SAT, volume 236 of LIPIcs, page 2:1-2:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Memory Efficient Parallel SAT Solving with Inprocessing., , and . ICTAI, page 64-70. IEEE, (2019)SAT Competition 2020., , , , and . Artif. Intell., (2021)