Collaborated with:B.Kiesl A.Biere A.Rebola-Pardo L.Cruz-Filipe W.A.H.Jr. M.Kaufmann P.Schneider-Kamp
Talks about:without (1) variabl (1) resolut (1) certifi (1) extend (1) effici (1) verif (1) simul (1) short (1) proof (1)
Person: Marijn J. H. Heule
DBLP: Heule:Marijn_J=_H=
Contributed to:
2017
2018Wrote 3 papers:
- CADE-2017-Cruz-FilipeHHKS #performance #verification
- Efficient Certified RAT Verification (LCF, MJHH, WAHJ, MK, PSK), pp. 220–236.
- CADE-2017-HeuleKB #proving
- Short Proofs Without New Variables (MJHH, BK, AB), pp. 130–147.
- IJCAR-2018-KieslRH
- Extended Resolution Simulates DRAT (BK, ARP, MJHH), pp. 516–531.