Marijn J. H. Heule
发表
Toby Walsh,
Armin Biere,
Marijn J. H. Heule,
2009
.
Marijn J. H. Heule,
Lawrence Pileggi,
Joseph Sweeney,
2020,
LPAR.
Marijn J. H. Heule,
Matti Järvisalo,
Adrian Balint,
2013
.
Marijn J. H. Heule,
Leroy Chew,
Leroy Chew,
2020,
SAT.
Armin Biere,
Marijn J. H. Heule,
Benjamin Kiesl,
2019,
NFM.
Marijn J. H. Heule,
Benjamin Kiesl,
Armin Biere,
2019,
ATVA.
Marijn J. H. Heule,
2019,
Math. Comput. Sci..
Marijn J. H. Heule,
H. van Maaren,
2008
.
Marijn J. H. Heule,
Sean A. Weaver,
S. Weaver,
2015,
Lecture Notes in Computer Science.
Toby Walsh,
Armin Biere,
Marijn J. H. Heule,
2009
.
Marijn J. H. Heule,
Matti Järvisalo,
Tomáš Balyo,
2017
.
Armin Biere,
Marijn J. H. Heule,
Armin Biere,
2019,
POS@SAT.
Marijn J. H. Heule,
Ruben Martins,
Peter Oostema,
2020,
LPAR.
Marijn J. H. Heule,
Hans van Maaren,
Toby Walsh,
2009
.
Marijn J. H. Heule,
Matti Järvisalo,
Matti Järvisalo,
2019
.
Armin Biere,
Marijn J. H. Heule,
Benjamin Kiesl,
2019,
Journal of Automated Reasoning.
Marijn J. H. Heule,
Jasmin Blanchette,
Petar Vukmirović,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Mario Carneiro,
Marijn J. H. Heule,
Mario M. Carneiro,
2021,
TACAS.
Marijn J. H. Heule,
Hans van Maaren,
2021
.
Randal E. Bryant,
Marijn J. H. Heule,
R. Bryant,
2021,
TACAS.
Magnus O. Myreen,
Marijn J. H. Heule,
Yong Kiam Tan,
2021,
TACAS.
Armin Biere,
Oliver Kullmann,
Marijn J. H. Heule,
2011,
Haifa Verification Conference.
Marijn J. H. Heule,
2014
.
Marijn J. H. Heule,
2009
.
Marijn J. H. Heule,
Paul Gazzillo,
D. Batory,
2019
.
Marijn J. H. Heule,
Matti Järvisalo,
Tomás Balyo,
2017
.
Marijn J. H. Heule,
2017
.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2010,
LPAR short papers.
Marijn J. H. Heule,
Armin Biere,
Matti Järvisalo,
2010
.
Marijn J. H. Heule,
P. Tak,
Antonio Ramos,
2011
.
Marijn J. H. Heule,
H. Maaren,
A. Keur,
2005
.
Marijn J. H. Heule,
2004
.
Marijn J. H. Heule,
Armin Biere,
2014
.
Marijn J. H. Heule,
H. Maaren,
A. Keur,
2005
.
Marijn J. H. Heule,
Scott Aaronson,
Emre Yolcu,
2021,
Journal of Automated Reasoning.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2021,
SAT.
Marijn J. H. Heule,
Paul Gazzillo,
D. Batory,
2020
.
Marijn J. H. Heule,
Armin Biere,
M. Whalen,
2022,
SAT.
Marijn J. H. Heule,
Armin Biere,
R. Bryant,
2022,
TACAS.
Marijn J. H. Heule,
J. Avigad,
A. Bentkamp,
2021,
Am. Math. Mon..
Marijn J. H. Heule,
J. S. Moore,
2017
.
Marijn J. H. Heule,
Stefan Szeider,
2013,
SAT.
Marijn J. H. Heule,
Bernardo Subercaseaux,
2022,
SAT.
Marijn J. H. Heule,
T. Mowry,
Nathan Beckmann,
2022,
2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO).
Marijn J. H. Heule,
S. Verwer,
2013,
Empirical Software Engineering.
Jeremy Avigad,
Marijn J. H. Heule,
Marijn Heule,
2021,
ArXiv.
Marijn J. H. Heule,
Marijn Heule,
2014
.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2015,
LPAR.
Marijn J. H. Heule,
W. Hunt,
L. Cruz-Filipe,
2016,
CADE.
Marijn J. H. Heule,
Marijn Heule,
2021,
SAT.
Marijn J. H. Heule,
Marijn Heule,
2010,
Theory and Practice of Logic Programming.
Victor W. Marek,
Oliver Kullmann,
Marijn J. H. Heule,
2016,
SAT.
Marijn J. H. Heule,
2021
.
Marijn J. H. Heule,
2019,
Mathematics in Computer Science.
Marijn J. H. Heule,
M. Seidl,
2019
.
Marijn J. H. Heule,
2018,
1805.12181.
Armin Biere,
Oliver Kullmann,
Marijn J. H. Heule,
2018,
Handbook of Parallel Constraint Reasoning.
Marijn J. H. Heule,
Marijn Heule,
Sicco Verwer,
2010,
ICGI.
Marijn J. H. Heule,
Sicco Verwer,
Marienus Heule,
2009,
BNAIC 2009.
Marijn J. H. Heule,
Hans van Maaren,
Marijn Heule,
2009,
SAT.
Léon J. M. Rothkrantz,
Marijn J. H. Heule,
Marijn Heule,
2007,
Sci. Comput. Program..
Gerti Kappel,
Hans Tompits,
Petra Kaufmann,
2012,
SLE.
Marijn J. H. Heule,
Evan Lohn,
Chris Lambert,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Oliver Kullmann,
Marijn J. H. Heule,
Marijn Heule,
2017,
Commun. ACM.
Isil Dillig,
Marijn J. H. Heule,
Marijn Heule,
2017,
TACAS.
Marijn J. H. Heule,
Xinyu Wu,
Emre Yolcu,
2020,
SAT.
Marijn J. H. Heule,
W. V. Hoeve,
A. Karahalios,
2022,
International Conference on Principles and Practice of Constraint Programming.
Marijn J. H. Heule,
2021
.
Marijn J. H. Heule,
Md. Solimul Chowdhury,
Cayden Codel,
2023,
ArXiv.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2010,
TACAS.
Magnus O. Myreen,
Marijn J. H. Heule,
Yong Kiam Tan,
2023,
International Journal on Software Tools for Technology Transfer.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2014,
SAT.
Manuel Kauers,
Marijn J. H. Heule,
Marijn Heule,
2019,
ACM Commun. Comput. Algebra.
Manuel Kauers,
Martina Seidl,
Marijn J. H. Heule,
2019,
1905.10192.
Manuel Kauers,
Martina Seidl,
Marijn J. H. Heule,
2019,
SAT.
Marijn J. H. Heule,
Joshua Brakensiek,
John Mackey,
2019,
Journal of Automated Reasoning.
Marijn J. H. Heule,
2022
.
Marijn J. H. Heule,
Hans van Maaren,
Marijn Heule,
2006,
J. Satisf. Boolean Model. Comput..
Marijn J. H. Heule,
Marijn Heule,
Matt Kaufmann,
2017,
ITP.
Marijn J. H. Heule,
Marijn Heule,
2017,
AAAI.
Marijn J. H. Heule,
Armin Biere,
T. Walsh,
2009
.
Marijn J. H. Heule,
Bryan Parno,
Marijn Heule,
2021,
NSDI.
Marijn J. H. Heule,
Marijn Heule,
Martin Suda,
2021,
Artif. Intell..
Marijn J. H. Heule,
Marijn Heule,
Shai Haim,
2014,
ArXiv.
Marijn J. H. Heule,
Marijn Heule,
Antonio Ramos,
2011,
SAT.
Marijn J. H. Heule,
Hans van Maaren,
Marijn Heule,
2008,
Discret. Appl. Math..
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2012,
IJCAR.
Marijn J. H. Heule,
Armin Biere,
Matti Järvisalo,
2011,
Journal of Automated Reasoning.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2015,
J. Artif. Intell. Res..
Marijn J. H. Heule,
Hans van Maaren,
Marijn Heule,
2004,
SAT (Selected Papers.
Stefan Szeider,
Marijn J. H. Heule,
Marijn Heule,
2013,
ACM Trans. Comput. Log..
Marijn J. H. Heule,
Isaac Grosof,
Naifeng Zhang,
2022,
ArXiv.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2013,
CADE.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2012,
Haifa Verification Conference.
Marijn J. H. Heule,
R. Bryant,
Cayden Codel,
2021
.
Marijn J. H. Heule,
Marijn Heule,
Randal E. Bryant,
2021,
CADE.
Marijn J. H. Heule,
2021,
Handbook of Satisfiability.
Marijn J. H. Heule,
Marijn Heule,
2017,
GCAI.
Marijn J. H. Heule,
Marijn Heule,
Adrián Rebola-Pardo,
2018,
IJCAR.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2018,
TACAS.
Marijn J. H. Heule,
Marijn Heule,
Benjamin Kiesl,
2017,
ARCADE@CADE.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2017,
CADE.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2015,
CADE.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2014,
Softw. Test. Verification Reliab..
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2013,
2013 Formal Methods in Computer-Aided Design.
Marijn J. H. Heule,
Armin Biere,
M. Järvisalo,
2010,
TACAS.
Marijn J. H. Heule,
R. Bryant,
Joseph E. Reeves,
2023,
Journal of Automated Reasoning.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2019,
TACAS.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2017,
Haifa Verification Conference.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2013,
CPAIOR.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2017,
TAP@STAF.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Marijn J. H. Heule,
Marijn Heule,
Sicco Verwer,
2012,
Empirical Software Engineering.
Marijn J. H. Heule,
Marijn Heule,
Matti Järvisalo,
2017,
AAAI.
Marijn J. H. Heule,
Marijn Heule,
Edward A. Hirsch,
2019,
J. Satisf. Boolean Model. Comput..
Marijn J. H. Heule,
Marijn Heule,
David Soloveichik,
2017,
Theor. Comput. Sci..
Marijn J. H. Heule,
2019
.
Marijn J. H. Heule,
Marijn J.H. Heule,
2019,
CP.