Name Card

Full name Familienname, Vorname
Heule, Marijn
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zhou-2023-Mariposa Measuring SMT Instability in Automated Program Verific...-vor.pdf.jpgZhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn ; Parno, Bryan Mariposa: Measuring SMT Instability in Automated Program VerificationInproceedings Konferenzbeitrag Oct-2023
2Codel-2023-Verified Encodings for SAT Solvers-vor.pdf.jpgCodel, Cayden ; Avigad, Jeremy ; Heule, Marijn Verified Encodings for SAT SolversInproceedings Konferenzbeitrag Oct-2023
3Lohn-2022-Compact Symmetry Breaking for Tournaments-vor.pdf.jpgLohn, Evan ; Lambert, Chris ; Heule, Marijn Compact Symmetry Breaking for TournamentsKonferenzbeitrag Inproceedings Oct-2022