Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

SAT Competition 2018., , und . J. Satisf. Boolean Model. Comput., 11 (1): 133-154 (2019)SAT-Inspired Eliminations for Superposition., , und . ACM Trans. Comput. Log., 24 (1): 7:1-7:25 (Januar 2023)Without Loss of Satisfaction.. ICTAC, Volume 14446 von Lecture Notes in Computer Science, Seite 4-14. Springer, (2023)Truth Assignments as Conditional Autarkies., , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 48-64. Springer, (2019)Trimming Graphs Using Clausal Proof Optimization.. CP, Volume 11802 von Lecture Notes in Computer Science, Seite 251-267. Springer, (2019)Preprocessing of Propagation Redundant Clauses., , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 106-124. Springer, (2022)The DRAT format and DRAT-trim checker.. CoRR, (2016)SAT-Inspired Eliminations for Superposition., , und . FMCAD, Seite 231-240. IEEE, (2021)Avoiding Monochromatic Rectangles Using Shift Patterns., , und . SOCS, Seite 225-227. AAAI Press, (2021)Exponential Separations Using Guarded Extension Variables., und . ITCS, Volume 251 von LIPIcs, Seite 101:1-101:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)