Marijn Heule
发表
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Armin Biere,
Martina Seidl,
Marijn Heule,
2016,
Journal of Automated Reasoning.
Marijn J. H. Heule,
Marijn Heule,
2014
.
Marijn Heule,
2016,
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Armin Biere,
Marijn Heule,
Tomás Balyo,
2014,
SAT.
Armin Biere,
Marijn Heule,
2013,
LPAR.
Marijn Heule,
C. K. Cuong,
2016,
SAT.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2013,
2013 Formal Methods in Computer-Aided Design.
Marijn Heule,
Antonio Ramos,
Peter van der Tak,
2011,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Marijn Heule,
2015,
IWIL@LPAR.
Victor W. Marek,
Oliver Kullmann,
Marijn J. H. Heule,
2016,
SAT.
Marijn J. H. Heule,
Marijn Heule,
Shai Haim,
2014,
ArXiv.
Marijn J. H. Heule,
Hans van Maaren,
Marijn Heule,
2006,
J. Satisf. Boolean Model. Comput..
Léon J. M. Rothkrantz,
Marijn J. H. Heule,
Marijn Heule,
2007,
Sci. Comput. Program..
Marijn J. H. Heule,
Marijn Heule,
Benjamin Kiesl,
2017,
ARCADE@CADE.
Isil Dillig,
Marijn J. H. Heule,
Marijn Heule,
2017,
TACAS.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2010,
LPAR short papers.
Marijn Heule,
Tobias Philipp,
Norbert Manthey,
2014,
POS@SAT.
Marijn Heule,
Zhenjun Liu,
Leroy Chew,
2020,
ArXiv.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2017,
TAP@STAF.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2013,
CADE.
Joao Marques-Silva,
Marijn Heule,
Anton Belov,
2014,
SAT.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2014,
Softw. Test. Verification Reliab..
Armin Biere,
Martina Seidl,
Marijn Heule,
2014,
IJCAR.
Hans van Maaren,
Marijn Heule,
2009,
Handbook of Satisfiability.
Toby Walsh,
Marijn Heule,
2010,
AAAI 2010.
Marijn J. H. Heule,
Hans van Maaren,
Marijn Heule,
2009,
SAT.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2019,
TACAS.
Marijn J. H. Heule,
Marijn Heule,
Antonio Ramos,
2011,
SAT.
Manuel Kauers,
Marijn J. H. Heule,
Marijn Heule,
2019,
ACM Commun. Comput. Algebra.
Armin Biere,
Marijn Heule,
Matti Järvisalo,
2011,
Journal of Automated Reasoning.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2018,
TACAS.
Oliver Kullmann,
Marijn J. H. Heule,
Marijn Heule,
2017,
Commun. ACM.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2012,
IJCAR.
Marijn Heule,
J. Strother Moore,
2017,
ARCADE@CADE.
Marijn J. H. Heule,
Marijn Heule,
2017,
GCAI.
Gerti Kappel,
Hans Tompits,
Petra Kaufmann,
2012,
SLE.
Armin Biere,
Marijn Heule,
Matti Järvisalo,
2010,
LPAR.
Marijn Heule,
Oliver Gableske,
2011,
SAT.
Hans van Maaren,
Marijn Heule,
2007,
SAT.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2010,
TACAS.
Hans van Maaren,
Marijn Heule,
2004,
SAT.
Armin Biere,
Marijn Heule,
Matti Järvisalo,
2011,
SAT.
Marijn Heule,
2008
.
Hans van Maaren,
Marijn Heule,
Niels Brouwers,
2007,
VSMM.
Hans van Maaren,
Marijn Heule,
2005,
SAT.
Martina Seidl,
Marijn Heule,
Benjamin Kiesl,
2017,
SAT.
Marijn J. H. Heule,
Hans van Maaren,
Marijn Heule,
2008,
Discret. Appl. Math..
Peter Schneider-Kamp,
Luís Cruz-Filipe,
Marijn Heule,
2017,
CADE.
Marijn Heule,
2016,
ArXiv.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2015,
CADE.
Armin Biere,
Martina Seidl,
Marijn Heule,
2015,
NFM.
Marijn J. H. Heule,
Marijn Heule,
Edward A. Hirsch,
2019,
J. Satisf. Boolean Model. Comput..
Toby Walsh,
Marijn Heule,
2010,
AAAI.
Marijn J. H. Heule,
Marijn Heule,
Sicco Verwer,
2012,
Empirical Software Engineering.
Marijn J. H. Heule,
Marijn Heule,
Matt Kaufmann,
2017,
ITP.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2013,
CPAIOR.
Marijn J. H. Heule,
Marijn Heule,
David Soloveichik,
2017,
Theor. Comput. Sci..
Stefan Szeider,
Marijn J. H. Heule,
Marijn Heule,
2013,
ACM Trans. Comput. Log..
Marijn J. H. Heule,
Marijn Heule,
Adrián Rebola-Pardo,
2018,
IJCAR.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2017,
Haifa Verification Conference.
Marijn Heule,
Warren A. Hunt,
Nathan Wetzler,
2013,
ITP.
Marijn J. H. Heule,
Marijn Heule,
Warren A. Hunt,
2014,
SAT.
Armin Biere,
Marijn Heule,
Peter van der Tak,
2012,
SAT.
Armin Biere,
Oliver Kullmann,
Marijn J. H. Heule,
2011,
Haifa Verification Conference.
Ehab S. Elmallah,
Mohamed G. Gouda,
Marijn Heule,
2015,
SSS.
Marijn J. H. Heule,
Hans van Maaren,
Marijn Heule,
2004,
SAT (Selected Papers.
Hrishikesh B. Acharya,
Mohamed G. Gouda,
Marijn Heule,
2016,
SSS.
Marijn J. H. Heule,
Marijn Heule,
2017,
AAAI.
Marijn J. H. Heule,
Marijn Heule,
Matti Järvisalo,
2017,
AAAI.
Marijn J. H. Heule,
Marijn Heule,
Sicco Verwer,
2010,
ICGI.
Armin Biere,
Oliver Kullmann,
Marijn J. H. Heule,
2018,
Handbook of Parallel Constraint Reasoning.
Marijn Heule,
Sean Weaver,
2020,
AAAI.
Victor W. Marek,
Oliver Kullmann,
Marijn Heule,
2017,
IJCAI.
Armin Biere,
Marijn Heule,
Peter van der Tak,
2014,
ArXiv.
Hans van Maaren,
Marijn Heule,
2008,
J. Satisf. Boolean Model. Comput..
Hans van Maaren,
Marijn Heule,
2008,
J. Satisf. Boolean Model. Comput..
Hans van Maaren,
Marijn Heule,
2007,
SAT.
Marijn Heule,
Boris de Wilde,
Sid Mijnders,
2014,
ArXiv.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2012,
Haifa Verification Conference.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2017,
CADE.
Marijn J. H. Heule,
Marijn Heule,
2010,
Theory and Practice of Logic Programming.
Marijn Heule,
Christiaan Hartman,
Kees Kwekkeboom,
2013,
Electron. J. Comb..
Armin Biere,
Florian Lonsing,
Martina Seidl,
2015,
J. Artif. Intell. Res..
Marijn Heule,
Joshua Brakensiek,
John Mackey,
2020,
IJCAR.
Torsten Schaub,
Marijn Heule,
2015,
AAAI.
Manuel Kauers,
Martina Seidl,
Marijn J. H. Heule,
2019,
SAT.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2015,
LPAR.
Hans van Maaren,
Marijn Heule,
P. R. Herwig,
2007,
Electron. J. Comb..
Marijn J. H. Heule,
Marijn Heule,
2021,
SAT.
Marijn J. H. Heule,
Marijn Heule,
Randal E. Bryant,
2021,
CADE.
Marijn J. H. Heule,
Marijn Heule,
Martin Suda,
2021,
Artif. Intell..
Jeremy Avigad,
Marijn J. H. Heule,
Marijn Heule,
2021,
ArXiv.
Marijn J. H. Heule,
Bryan Parno,
Marijn Heule,
2021,
NSDI.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2021,
SAT.