( en | de | ru )

 

Disambiguierung von "Heule, Marijn"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Refutations with Extended Resolution.

, , und . CADE, Volume 7898 von Lecture Notes in Computer Science, Seite 345-359. Springer, (2013)

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.

Marijn Huijbregts

Paul Heuler

Paul Heuler

Ludwig Heuler

Rolf Ludwig Heuler

 

Weitere Publikationen von Autoren mit dem selben Namen

Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)., , , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2014)Whose side are you on? Finding solutions in a biased search-tree., und . J. Satisf. Boolean Model. Comput., 4 (2-4): 117-148 (2008)Coloring Unit-Distance Strips using SAT., , und . LPAR, Volume 73 von EPiC Series in Computing, Seite 373-389. EasyChair, (2020)The Potential of Interference-Based Proof Systems., und . ARCADE@CADE, Volume 51 von EPiC Series in Computing, Seite 51-54. EasyChair, (2017)Mariposa: Measuring SMT Instability in Automated Program Verification., , , , , und . FMCAD, Seite 178-188. IEEE, (2023)The Resolution of Keller's Conjecture., , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 48-65. Springer, (2020)March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver., , , und . SAT (Selected Papers, Volume 3542 von Lecture Notes in Computer Science, Seite 345-359. Springer, (2004)MUS Extraction Using Clausal Proofs., , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 48-57. Springer, (2014)The Resolution of Keller's Conjecture - Computation Logs., , , und . (April 2020)Finding Invariants of Distributed Systems: It's a Small (Enough) World After All., , , und . NSDI, Seite 115-131. USENIX Association, (2021)