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

Trade-Offs Between Size and Degree in Polynomial Calculus., , , und . ITCS, Volume 151 von LIPIcs, Seite 72:1-72:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Clique Is Hard on Average for Regular Resolution., , , , , und . CoRR, (2020)Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity., , , , , und . FOCS, Seite 24-30. IEEE, (2020)Relating Proof Complexity Measures and Practical Hardness of SAT., , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 316-331. Springer, (2012)Certifying CNF Encodings of Pseudo-Boolean Constraints (abstract)., , und . PxTP, Volume 336 von EPTCS, Seite 48. (2021)Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning., , , und . CP, Volume 280 von LIPIcs, Seite 27:1-27:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)., , , und . IJCAI, Seite 6436-6441. ijcai.org, (2023)KRW Composition Theorems via Lifting., , , , und . FOCS, Seite 43-49. IEEE, (2020)Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz., , , , und . FOCS, Seite 1-11. IEEE, (2023)Certified Symmetry and Dominance Breaking for Combinatorial Optimisation., , , und . AAAI, Seite 3698-3707. AAAI Press, (2022)