The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Marijn Heule M. J. H. Heule Marijn J. H. Heule ( http://dblp.L3S.de/Authors/Marijn_Heule )

Publication years (Num. hits)
2004-2009 (17) 2010-2012 (18) 2013-2014 (19) 2015-2016 (16) 2017 (17) 2018-2019 (15)
Publication types (Num. hits)
article(33) incollection(2) inproceedings(64) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 103 publication records. Showing 102 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik Computing properties of stable configurations of thermodynamic binding networks. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joshua Brakensiek, Marijn Heule, John Mackey The Resolution of Keller's Conjecture. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marijn J. H. Heule Trimming Graphs Using Clausal Proof Optimization. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl Local Search for Fast Matrix Multiplication. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl New ways to multiply 3 x 3-matrices. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Benjamin Kiesl, Marijn J. H. Heule, Armin Biere Truth Assignments as Conditional Autarkies. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl Local Search for Fast Matrix Multiplication. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Armin Biere Encoding Redundancy for Satisfaction-Driven Clause Learning. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule Trimming Graphs Using Clausal Proof Optimization. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Armin Biere Clausal Proofs of Mutilated Chessboards. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Armin Biere, Marijn Heule The Effect of Scrambling CNFs. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Oliver Kullmann, Armin Biere Cube-and-Conquer for Satisfiability. Search on Bibsonomy Handbook of Parallel Constraint Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule Schur Number Five. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule Extended Resolution Simulates DRAT. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Armin Biere What a Difference a Variable Makes. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Keenan Breik, Lakshmi Prakash, Chris Thachuk, Marijn Heule, David Soloveichik Computing properties of stable configurations of thermodynamic binding networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marijn Heule, Benjamin Kiesl The Potential of Interference-Based Proof Systems. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Nathan Wetzler Efficient, Verified Checking of Propositional Proofs. Search on Bibsonomy ITP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn Heule Everything's Bigger in Texas: "The Largest Math Proof Ever". Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Marijn J. H. Heule Schur Number Five. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Oliver Kullmann The science of brute force. Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Martina Seidl, Armin Biere Solution Validation and Extraction for QBF Preprocessing. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo SAT Competition 2016: Recent Developments. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Armin Biere Short Proofs Without New Variables. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp Efficient Certified RAT Verification. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1J. Strother Moore, Marijn J. H. Heule Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl A Little Blocked Literal Goes a Long Way. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere Skolem Function Continuation for Quantified Boolean Formulas. Search on Bibsonomy TAP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere PRuning Through Satisfaction. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1C. K. Cuong, M. J. H. Heule Computing Maximum Unavoidable Subgraphs Using SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp Efficient Certified RAT Verification. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Marijn J. H. Heule The DRAT format and DRAT-trim checker. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda Analysis of Computing Policies Using SAT Solvers (Short Paper). Search on Bibsonomy SSS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule The Quest for Perfect and Compact Symmetry Breaking for Graph Problems. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Stefan Szeider A SAT Approach to Clique-Width. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere Clause Elimination for SAT and QSAT. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Armin Biere Clausal Proof Compression. Search on Bibsonomy IWIL@LPAR The full citation details ... 2015 DBLP  BibTeX  RDF
1Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah The Implication Problem of Computing Policies. Search on Bibsonomy SSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Torsten Schaub What's Hot in the SAT and ASP Competitions. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler Expressing Symmetry Breaking in DRAT Proofs. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Sean A. Weaver (eds.) Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Martina Seidl, Armin Biere Blocked Literals Are Universal. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Armin Biere Compositional Propositional Proofs. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shai Haim, Marijn Heule Towards Ultra Rapid Restarts. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Peter van der Tak, Marijn Heule, Armin Biere Concurrent Cube-and-Conquer. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sid Mijnders, Boris de Wilde, Marijn Heule Symbiosis of Search and Heuristics for Random 3-SAT. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Martina Seidl, Armin Biere A Unified Proof System for QBF Preprocessing. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr. DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tomás Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anton Belov, Marijn Heule, João Marques-Silva MUS Extraction Using Clausal Proofs. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Norbert Manthey, Tobias Philipp Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. Search on Bibsonomy POS@SAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Marijn Heule, Martina Seidl, Armin Biere Efficient extraction of Skolem functions from QRAT proofs. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christiaan Hartman, Marijn Heule, Kees Kwekkeboom, Alain Noels Symmetry in Gardens of Eden. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2013 DBLP  BibTeX  RDF
1Marijn Heule, Sicco Verwer Software model synthesis using satisfiability solvers. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Stefan Szeider A SAT Approach to Clique-Width Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Revisiting Hyper Binary Resolution. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Armin Biere Blocked Clause Decomposition. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler Verifying Refutations with Extended Resolution. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Stefan Szeider A SAT Approach to Clique-Width. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr. Mechanical Verification of SAT Refutations with Extended Resolution. Search on Bibsonomy ITP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler Trimming while checking clausal proofs. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Matti Järvisalo, Armin Biere, Marijn Heule Simulating Circuit-Level Simplifications on CNF. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits Guided Merging of Sequence Diagrams. Search on Bibsonomy SLE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Marijn Heule, Armin Biere Inprocessing Rules. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter van der Tak, Marijn Heule, Armin Biere Concurrent Cube-and-Conquer - (Poster Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Norbert Manthey, Marijn Heule, Armin Biere Automated Reencoding of Boolean Formulas. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter van der Tak, Antonio Ramos, Marijn Heule Reusing the Assignment Trail in CDCL Solvers. Search on Bibsonomy JSAT The full citation details ... 2011 DBLP  BibTeX  RDF
1Marijn Heule Introduction to Mathematics of Satisfiability, Victor W. Marek, Chapman & Hall/CRC, 2009. Hardback, ISBN-13: 978-143980167-3, $89.95. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Efficient CNF Simplification Based on Binary Implication Graphs. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Oliver Gableske, Marijn Heule EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antonio Ramos, Peter van der Tak, Marijn Heule Between Restarts and Backjumps. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Toby Walsh Symmetry within Solutions Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Covered Clause Elimination Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Clause Elimination Procedures for CNF Formulas. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Armin Biere Covered Clause Elimination. Search on Bibsonomy LPAR short papers(Yogyakarta) The full citation details ... 2010 DBLP  BibTeX  RDF
1Marijn Heule, Sicco Verwer Exact DFA Identification Using SAT Solvers. Search on Bibsonomy ICGI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Toby Walsh Symmetry in Solutions. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Matti Järvisalo, Armin Biere, Marijn Heule Blocked Clause Elimination. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Hans van Maaren Look-Ahead Based SAT Solvers. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh (eds.) Handbook of Satisfiability Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  BibTeX  RDF
1Bas Schaafsma, Marijn Heule, Hans van Maaren Dynamic Symmetry Breaking by Simulating Zykov Contraction. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hans van Maaren, Linda van Norden, M. J. H. Heule Sums of squares based approximation algorithms for MAX-SAT. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1M. J. H. Heule SmArT solving: tools and techniques for satisfiability solvers. Search on Bibsonomy 2008   RDF
1Marijn Heule, Hans van Maaren Whose side are you on? Finding solutions in a biased search-tree. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1Marijn Heule, Hans van Maaren Parallel SAT Solving using Bit-level Operations. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1P. R. Herwig, M. J. H. Heule, P. M. van Lambalgen, Hans van Maaren A New Method to Construct Lower Bounds for Van der Waerden Numbers. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2007 DBLP  BibTeX  RDF
1M. J. H. Heule, Léon J. M. Rothkrantz Solving games: Dependence of applicable solving procedures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Hans van Maaren From Idempotent Generalized Boolean Assignments to Multi-bit Search. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Hans van Maaren Effective Incorporation of Double Look-Ahead Procedures. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Henriette Bier, Adriaan de Jong, Gijs van der Hoorn, Niels Brouwers, Marijn Heule, Hans van Maaren Prototypes for Automated Architectural 3D-Layout. Search on Bibsonomy VSMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 3D-Modeling and Automated Spatial Layout, Euclidean and Non-Euclidean Ge ometries, Satisfiability
1Marijn Heule, Hans van Maaren March_dl: Adding Adaptive Heuristics and a New Branching Strategy. Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1Marijn Heule, Hans van Maaren Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Hans van Maaren Aligning CNF- and Equivalence-reasoning. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 102 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license