Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Marijn Heule
@inproceedings{DBLP:conf/tacas/ChowdhuryCH24, author = {Md. Solimul Chowdhury and Cayden R. Codel and Marijn J. H. Heule}, editor = {Bernd Finkbeiner and Laura Kov{\'{a}}cs}, title = {TaSSAT: Transfer and Share {SAT}}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, {TACAS} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14570}, pages = {34--42}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57246-3\_3}, doi = {10.1007/978-3-031-57246-3\_3}, timestamp = {Sun, 14 Apr 2024 18:32:16 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ChowdhuryCH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HeuleS24, author = {Marijn J. H. Heule and Manfred Scheucher}, editor = {Bernd Finkbeiner and Laura Kov{\'{a}}cs}, title = {Happy Ending: An Empty Hexagon in Every Set of 30 Points}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, {TACAS} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14570}, pages = {61--80}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57246-3\_5}, doi = {10.1007/978-3-031-57246-3\_5}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HeuleS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-00737, author = {Marijn J. H. Heule and Manfred Scheucher}, title = {Happy Ending: An Empty Hexagon in Every Set of 30 Points}, journal = {CoRR}, volume = {abs/2403.00737}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.00737}, doi = {10.48550/ARXIV.2403.00737}, eprinttype = {arXiv}, eprint = {2403.00737}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-00737.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-12195, author = {Thomas Garrison and Marijn J. H. Heule and Bernardo Subercaseaux}, title = {PackIt! Gamified Rectangle Packing}, journal = {CoRR}, volume = {abs/2403.12195}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.12195}, doi = {10.48550/ARXIV.2403.12195}, eprinttype = {arXiv}, eprint = {2403.12195}, timestamp = {Thu, 11 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-12195.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-17370, author = {Bernardo Subercaseaux and Wojciech Nawrocki and James Gallicchio and Cayden R. Codel and Mario Carneiro and Marijn J. H. Heule}, title = {Formal Verification of the Empty Hexagon Number}, journal = {CoRR}, volume = {abs/2403.17370}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.17370}, doi = {10.48550/ARXIV.2403.17370}, eprinttype = {arXiv}, eprint = {2403.17370}, timestamp = {Wed, 10 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-17370.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/YolcuAH23, author = {Emre Yolcu and Scott Aaronson and Marijn J. H. Heule}, title = {An Automated Approach to the Collatz Conjecture}, journal = {J. Autom. Reason.}, volume = {67}, number = {2}, pages = {15}, year = {2023}, url = {https://doi.org/10.1007/s10817-022-09658-8}, doi = {10.1007/S10817-022-09658-8}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/YolcuAH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ReevesHB23, author = {Joseph E. Reeves and Marijn J. H. Heule and Randal E. Bryant}, title = {Preprocessing of Propagation Redundant Clauses}, journal = {J. Autom. Reason.}, volume = {67}, number = {3}, pages = {31}, year = {2023}, url = {https://doi.org/10.1007/s10817-023-09681-3}, doi = {10.1007/S10817-023-09681-3}, timestamp = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ReevesHB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/TanHM23, author = {Yong Kiam Tan and Marijn J. H. Heule and Magnus O. Myreen}, title = {Verified Propagation Redundancy and Compositional {UNSAT} Checking in CakeML}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {25}, number = {2}, pages = {167--184}, year = {2023}, url = {https://doi.org/10.1007/s10009-022-00690-y}, doi = {10.1007/S10009-022-00690-Y}, timestamp = {Sat, 13 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/TanHM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tamm/AvigadBBHN23, author = {Jeremy Avigad and Seulkee Baek and Alexander Bentkamp and Marijn Heule and Wojciech Nawrocki}, title = {An Impossible Asylum}, journal = {Am. Math. Mon.}, volume = {130}, number = {5}, pages = {446--453}, year = {2023}, url = {https://doi.org/10.1080/00029890.2023.2176668}, doi = {10.1080/00029890.2023.2176668}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tamm/AvigadBBHN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/VukmirovicBH23, author = {Petar Vukmirovic and Jasmin Blanchette and Marijn J. H. Heule}, title = {SAT-Inspired Eliminations for Superposition}, journal = {{ACM} Trans. Comput. Log.}, volume = {24}, number = {1}, pages = {7:1--7:25}, year = {2023}, url = {https://doi.org/10.1145/3565366}, doi = {10.1145/3565366}, timestamp = {Sun, 16 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/VukmirovicBH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BryantH23, author = {Randal E. Bryant and Marijn J. H. Heule}, title = {Generating Extended Resolution Proofs with a BDD-Based {SAT} Solver}, journal = {{ACM} Trans. Comput. Log.}, volume = {24}, number = {4}, pages = {31:1--31:28}, year = {2023}, url = {https://doi.org/10.1145/3595295}, doi = {10.1145/3595295}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BryantH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/CodelAH23, author = {Cayden R. Codel and Jeremy Avigad and Marijn J. H. Heule}, editor = {Alexander Nadel and Kristin Yvonne Rozier}, title = {Verified Encodings for {SAT} Solvers}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA, October 24-27, 2023}, pages = {141--151}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_22}, doi = {10.34727/2023/ISBN.978-3-85448-060-0\_22}, timestamp = {Wed, 13 Dec 2023 14:38:51 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/CodelAH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/ZhouBTLHP23, author = {Yi Zhou and Jay Bosamiya and Yoshiki Takashima and Jessica Li and Marijn Heule and Bryan Parno}, editor = {Alexander Nadel and Kristin Yvonne Rozier}, title = {Mariposa: Measuring {SMT} Instability in Automated Program Verification}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA, October 24-27, 2023}, pages = {178--188}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_26}, doi = {10.34727/2023/ISBN.978-3-85448-060-0\_26}, timestamp = {Fri, 12 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/ZhouBTLHP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/Heule23, author = {Marijn J. H. Heule}, editor = {Erika {\'{A}}brah{\'{a}}m and Clemens Dubslaff and Silvia Lizeth Tapia Tarifa}, title = {Without Loss of Satisfaction}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14446}, pages = {4--14}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-47963-2\_2}, doi = {10.1007/978-3-031-47963-2\_2}, timestamp = {Fri, 01 Dec 2023 18:39:19 +0100}, biburl = {https://dblp.org/rec/conf/ictac/Heule23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/innovations/YolcuH23, author = {Emre Yolcu and Marijn J. H. Heule}, editor = {Yael Tauman Kalai}, title = {Exponential Separations Using Guarded Extension Variables}, booktitle = {14th Innovations in Theoretical Computer Science Conference, {ITCS} 2023, January 10-13, 2023, MIT, Cambridge, Massachusetts, {USA}}, series = {LIPIcs}, volume = {251}, pages = {101:1--101:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ITCS.2023.101}, doi = {10.4230/LIPICS.ITCS.2023.101}, timestamp = {Thu, 02 Feb 2023 12:50:42 +0100}, biburl = {https://dblp.org/rec/conf/innovations/YolcuH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/SubercaseauxH23, author = {Bernardo Subercaseaux and Marijn Heule}, editor = {Ruzica Piskac and Andrei Voronkov}, title = {Toward Optimal Radio Colorings of Hypercubes via SAT-solving}, booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023}, series = {EPiC Series in Computing}, volume = {94}, pages = {386--404}, publisher = {EasyChair}, year = {2023}, url = {https://doi.org/10.29007/qrmp}, doi = {10.29007/QRMP}, timestamp = {Wed, 12 Jul 2023 16:50:32 +0200}, biburl = {https://dblp.org/rec/conf/lpar/SubercaseauxH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/ChowdhuryCH23, author = {Md. Solimul Chowdhury and Cayden R. Codel and Marijn J. H. Heule}, editor = {Kristin Yvonne Rozier and Swarat Chaudhuri}, title = {A Linear Weight Transfer Rule for Local Search}, booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023, Houston, TX, USA, May 16-18, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13903}, pages = {447--463}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33170-1\_27}, doi = {10.1007/978-3-031-33170-1\_27}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/ChowdhuryCH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BryantNAH23, author = {Randal E. Bryant and Wojciech Nawrocki and Jeremy Avigad and Marijn J. H. Heule}, editor = {Meena Mahajan and Friedrich Slivovsky}, title = {Certified Knowledge Compilation with Application to Verified Model Counting}, booktitle = {26th International Conference on Theory and Applications of Satisfiability Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy}, series = {LIPIcs}, volume = {271}, pages = {6:1--6:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.SAT.2023.6}, doi = {10.4230/LIPICS.SAT.2023.6}, timestamp = {Thu, 10 Aug 2023 14:37:28 +0200}, biburl = {https://dblp.org/rec/conf/sat/BryantNAH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HaberlandtGH23, author = {Andrew Haberlandt and Harrison Green and Marijn J. H. Heule}, editor = {Meena Mahajan and Friedrich Slivovsky}, title = {Effective Auxiliary Variables via Structured Reencoding}, booktitle = {26th International Conference on Theory and Applications of Satisfiability Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy}, series = {LIPIcs}, volume = {271}, pages = {11:1--11:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.SAT.2023.11}, doi = {10.4230/LIPICS.SAT.2023.11}, timestamp = {Thu, 10 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/HaberlandtGH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BiereFFH23, author = {Armin Biere and Mathias Fleury and Nils Froleyks and Marijn J. H. Heule}, editor = {Matti J{\"{a}}rvisalo and Daniel Le Berre}, title = {The {SAT} Museum}, booktitle = {Proceedings of the 14th International Workshop on Pragmatics of {SAT} co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing {(SAT} 2023), Alghero, Italy, July 4, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3545}, pages = {72--87}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3545/paper6.pdf}, timestamp = {Wed, 20 Dec 2023 17:08:34 +0100}, biburl = {https://dblp.org/rec/conf/sat/BiereFFH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ReevesKH23, author = {Joseph E. Reeves and Benjamin Kiesl{-}Reiter and Marijn J. H. Heule}, editor = {Sriram Sankaranarayanan and Natasha Sharygina}, title = {Propositional Proof Skeletons}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13993}, pages = {329--347}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30823-9\_17}, doi = {10.1007/978-3-031-30823-9\_17}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ReevesKH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/MichaelsonSHKW23, author = {Dawn Michaelson and Dominik Schreiber and Marijn J. H. Heule and Benjamin Kiesl{-}Reiter and Michael W. Whalen}, editor = {Sriram Sankaranarayanan and Natasha Sharygina}, title = {Unsatisfiability Proofs for Distributed Clause-Sharing {SAT} Solvers}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13993}, pages = {348--366}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30823-9\_18}, doi = {10.1007/978-3-031-30823-9\_18}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/MichaelsonSHKW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/SubercaseauxH23, author = {Bernardo Subercaseaux and Marijn J. H. Heule}, editor = {Sriram Sankaranarayanan and Natasha Sharygina}, title = {The Packing Chromatic Number of the Infinite Square Grid is 15}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13993}, pages = {389--406}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30823-9\_20}, doi = {10.1007/978-3-031-30823-9\_20}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/SubercaseauxH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vissoft/LiGHR23, author = {Runming Li and Keerthana Gurushankar and Marijn J. H. Heule and Kristin Yvonne Rozier}, title = {What's in a Name? Linear Temporal Logic Literally Represents Time Lines}, booktitle = {{IEEE} Working Conference on Software Visualization, {VISSOFT} 2023, Bogot{\'{a}}, Colombia, October 1-2, 2023}, pages = {73--83}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/VISSOFT60811.2023.00018}, doi = {10.1109/VISSOFT60811.2023.00018}, timestamp = {Wed, 24 Jan 2024 08:30:06 +0100}, biburl = {https://dblp.org/rec/conf/vissoft/LiGHR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-09757, author = {Bernardo Subercaseaux and Marijn J. H. Heule}, title = {The Packing Chromatic Number of the Infinite Square Grid is 15}, journal = {CoRR}, volume = {abs/2301.09757}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.09757}, doi = {10.48550/ARXIV.2301.09757}, eprinttype = {arXiv}, eprint = {2301.09757}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-09757.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-14894, author = {Md. Solimul Chowdhury and Cayden R. Codel and Marijn J. H. Heule}, title = {A Linear Weight Transfer Rule for Local Search}, journal = {CoRR}, volume = {abs/2303.14894}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.14894}, doi = {10.48550/ARXIV.2303.14894}, eprinttype = {arXiv}, eprint = {2303.14894}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-14894.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-01904, author = {Andrew Haberlandt and Harrison Green and Marijn J. H. Heule}, title = {Effective Auxiliary Variables via Structured Reencoding}, journal = {CoRR}, volume = {abs/2307.01904}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.01904}, doi = {10.48550/ARXIV.2307.01904}, eprinttype = {arXiv}, eprint = {2307.01904}, timestamp = {Mon, 10 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-01904.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-03645, author = {Bernardo Subercaseaux and John Mackey and Marijn J. H. Heule and Ruben Martins}, title = {Minimizing Pentagons in the Plane through Automated Reasoning}, journal = {CoRR}, volume = {abs/2311.03645}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.03645}, doi = {10.48550/ARXIV.2311.03645}, eprinttype = {arXiv}, eprint = {2311.03645}, timestamp = {Tue, 14 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-03645.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/HeuleLSS23, author = {Marijn J. H. Heule and In{\^{e}}s Lynce and Stefan Szeider and Andr{\'{e}} Schidler}, title = {{SAT} Encodings and Beyond (Dagstuhl Seminar 23261)}, journal = {Dagstuhl Reports}, volume = {13}, number = {6}, pages = {106--122}, year = {2023}, url = {https://doi.org/10.4230/DagRep.13.6.106}, doi = {10.4230/DAGREP.13.6.106}, timestamp = {Thu, 14 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HeuleLSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/gc/NeimanMH22, author = {David Neiman and John Mackey and Marijn Heule}, title = {Tighter Bounds on Directed Ramsey Number {R(7)}}, journal = {Graphs Comb.}, volume = {38}, number = {5}, pages = {156}, year = {2022}, url = {https://doi.org/10.1007/s00373-022-02560-5}, doi = {10.1007/S00373-022-02560-5}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/gc/NeimanMH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BrakensiekHMN22, author = {Joshua Brakensiek and Marijn Heule and John Mackey and David E. Narv{\'{a}}ez}, title = {The Resolution of Keller's Conjecture}, journal = {J. Autom. Reason.}, volume = {66}, number = {3}, pages = {277--300}, year = {2022}, url = {https://doi.org/10.1007/s10817-022-09623-5}, doi = {10.1007/S10817-022-09623-5}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BrakensiekHMN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BaekCH22, author = {Seulkee Baek and Mario Carneiro and Marijn J. H. Heule}, title = {A Flexible Proof Format for {SAT} Solver-Elaborator Communication}, journal = {Log. Methods Comput. Sci.}, volume = {18}, number = {2}, year = {2022}, url = {https://doi.org/10.46298/lmcs-18(2:3)2022}, doi = {10.46298/LMCS-18(2:3)2022}, timestamp = {Tue, 24 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/BaekCH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ReevesHB22, author = {Joseph E. Reeves and Marijn J. H. Heule and Randal E. Bryant}, editor = {Jasmin Blanchette and Laura Kov{\'{a}}cs and Dirk Pattinson}, title = {Preprocessing of Propagation Redundant Clauses}, booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR} 2022, Haifa, Israel, August 8-10, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13385}, pages = {106--124}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-10769-6\_8}, doi = {10.1007/978-3-031-10769-6\_8}, timestamp = {Mon, 24 Oct 2022 16:36:35 +0200}, biburl = {https://dblp.org/rec/conf/cade/ReevesHB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HeuleKH22, author = {Marijn J. H. Heule and Anthony Karahalios and Willem{-}Jan van Hoeve}, editor = {Christine Solnon}, title = {From Cliques to Colorings and Back Again}, booktitle = {28th International Conference on Principles and Practice of Constraint Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel}, series = {LIPIcs}, volume = {235}, pages = {26:1--26:10}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CP.2022.26}, doi = {10.4230/LIPICS.CP.2022.26}, timestamp = {Wed, 27 Jul 2022 16:09:08 +0200}, biburl = {https://dblp.org/rec/conf/cp/HeuleKH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/LohnLH22, author = {Evan Lohn and Chris Lambert and Marijn J. H. Heule}, editor = {Alberto Griggio and Neha Rungta}, title = {Compact Symmetry Breaking for Tournaments}, booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento, Italy, October 17-21, 2022}, pages = {179--188}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_24}, doi = {10.34727/2022/ISBN.978-3-85448-053-2\_24}, timestamp = {Mon, 13 Feb 2023 21:53:10 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/LohnLH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/micro/GobieskiGHMNBL22, author = {Graham Gobieski and Souradip Ghosh and Marijn Heule and Todd C. Mowry and Tony Nowatzki and Nathan Beckmann and Brandon Lucia}, title = {A programmable, energy-minimal dataflow compiler and architecture}, booktitle = {55th {IEEE/ACM} International Symposium on Microarchitecture, {MICRO} 2022, Chicago, IL, USA, October 1-5, 2022}, pages = {546--564}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/MICRO56248.2022.00046}, doi = {10.1109/MICRO56248.2022.00046}, timestamp = {Wed, 15 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/micro/GobieskiGHMNBL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/ChewH22, author = {Leroy Chew and Marijn J. H. Heule}, editor = {Kuldeep S. Meel and Ofer Strichman}, title = {Relating Existing Powerful Proof Systems for {QBF}}, booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel}, series = {LIPIcs}, volume = {236}, pages = {10:1--10:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.SAT.2022.10}, doi = {10.4230/LIPICS.SAT.2022.10}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/ChewH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SubercaseauxH22, author = {Bernardo Subercaseaux and Marijn J. H. Heule}, editor = {Kuldeep S. Meel and Ofer Strichman}, title = {The Packing Chromatic Number of the Infinite Square Grid Is at Least 14}, booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel}, series = {LIPIcs}, volume = {236}, pages = {21:1--21:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.SAT.2022.21}, doi = {10.4230/LIPICS.SAT.2022.21}, timestamp = {Thu, 28 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/SubercaseauxH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BiereCHKW22, author = {Armin Biere and Md. Solimul Chowdhury and Marijn J. H. Heule and Benjamin Kiesl and Michael W. Whalen}, editor = {Kuldeep S. Meel and Ofer Strichman}, title = {Migrating Solver State}, booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel}, series = {LIPIcs}, volume = {236}, pages = {27:1--27:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.SAT.2022.27}, doi = {10.4230/LIPICS.SAT.2022.27}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/BiereCHKW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BryantBH22, author = {Randal E. Bryant and Armin Biere and Marijn J. H. Heule}, editor = {Dana Fisman and Grigore Rosu}, title = {Clausal Proofs for Pseudo-Boolean Reasoning}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, {TACAS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13243}, pages = {443--461}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99524-9\_25}, doi = {10.1007/978-3-030-99524-9\_25}, timestamp = {Fri, 29 Apr 2022 14:50:36 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BryantBH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ReevesHB22, author = {Joseph E. Reeves and Marijn J. H. Heule and Randal E. Bryant}, editor = {Dana Fisman and Grigore Rosu}, title = {Moving Definition Variables in Quantified Boolean Formulas}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, {TACAS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13243}, pages = {462--479}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99524-9\_26}, doi = {10.1007/978-3-030-99524-9\_26}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ReevesHB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-11284, author = {Isaac Grosof and Naifeng Zhang and Marijn J. H. Heule}, title = {Towards the shortest {DRAT} proof of the Pigeonhole Principle}, journal = {CoRR}, volume = {abs/2207.11284}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.11284}, doi = {10.48550/ARXIV.2207.11284}, eprinttype = {arXiv}, eprint = {2207.11284}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-11284.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-12456, author = {Emre Yolcu and Marijn J. H. Heule}, title = {Exponential separations using guarded extension variables}, journal = {CoRR}, volume = {abs/2211.12456}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.12456}, doi = {10.48550/ARXIV.2211.12456}, eprinttype = {arXiv}, eprint = {2211.12456}, timestamp = {Thu, 24 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-12456.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/FroleyksHIJS21, author = {Nils Froleyks and Marijn Heule and Markus Iser and Matti J{\"{a}}rvisalo and Martin Suda}, title = {{SAT} Competition 2020}, journal = {Artif. Intell.}, volume = {301}, pages = {103572}, year = {2021}, url = {https://doi.org/10.1016/j.artint.2021.103572}, doi = {10.1016/J.ARTINT.2021.103572}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/FroleyksHIJS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/HeuleKS21, author = {Marijn J. H. Heule and Manuel Kauers and Martina Seidl}, title = {New ways to multiply 3{\unicode{8239}}{\texttimes}{\unicode{8239}}3-matrices}, journal = {J. Symb. Comput.}, volume = {104}, pages = {899--916}, year = {2021}, url = {https://doi.org/10.1016/j.jsc.2020.10.003}, doi = {10.1016/J.JSC.2020.10.003}, timestamp = {Tue, 15 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/HeuleKS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BryantH21, author = {Randal E. Bryant and Marijn J. H. Heule}, editor = {Andr{\'{e}} Platzer and Geoff Sutcliffe}, title = {Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver}, booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12699}, pages = {433--449}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79876-5\_25}, doi = {10.1007/978-3-030-79876-5\_25}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BryantH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/YolcuAH21, author = {Emre Yolcu and Scott Aaronson and Marijn J. H. Heule}, editor = {Andr{\'{e}} Platzer and Geoff Sutcliffe}, title = {An Automated Approach to the Collatz Conjecture}, booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12699}, pages = {468--484}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79876-5\_27}, doi = {10.1007/978-3-030-79876-5\_27}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/YolcuAH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/VukmirovicBH21, author = {Petar Vukmirovic and Jasmin Blanchette and Marijn J. H. Heule}, title = {SAT-Inspired Eliminations for Superposition}, booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven, CT, USA, October 19-22, 2021}, pages = {231--240}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_32}, doi = {10.34727/2021/ISBN.978-3-85448-046-4\_32}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/VukmirovicBH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nsdi/HanceHMP21, author = {Travis Hance and Marijn Heule and Ruben Martins and Bryan Parno}, editor = {James Mickens and Renata Teixeira}, title = {Finding Invariants of Distributed Systems: It's a Small (Enough) World After All}, booktitle = {18th {USENIX} Symposium on Networked Systems Design and Implementation, {NSDI} 2021, April 12-14, 2021}, pages = {115--131}, publisher = {{USENIX} Association}, year = {2021}, url = {https://www.usenix.org/conference/nsdi21/presentation/hance}, timestamp = {Thu, 12 Aug 2021 18:19:16 +0200}, biburl = {https://dblp.org/rec/conf/nsdi/HanceHMP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/Heule21, author = {Marijn J. H. Heule}, editor = {Chu{-}Min Li and Felip Many{\`{a}}}, title = {Chinese Remainder Encoding for Hamiltonian Cycles}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12831}, pages = {216--224}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-80223-3\_15}, doi = {10.1007/978-3-030-80223-3\_15}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/Heule21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/NawrockiLFHB21, author = {Wojciech Nawrocki and Zhenjun Liu and Andreas Fr{\"{o}}hlich and Marijn J. H. Heule and Armin Biere}, editor = {Chu{-}Min Li and Felip Many{\`{a}}}, title = {{XOR} Local Search for Boolean Brent Equations}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12831}, pages = {417--435}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-80223-3\_29}, doi = {10.1007/978-3-030-80223-3\_29}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/NawrockiLFHB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/socs/LiuCH21, author = {Zhenjun Liu and Leroy Chew and Marijn J. H. Heule}, editor = {Hang Ma and Ivan Serina}, title = {Avoiding Monochromatic Rectangles Using Shift Patterns}, booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30, 2021}, pages = {225--227}, publisher = {{AAAI} Press}, year = {2021}, url = {https://doi.org/10.1609/socs.v12i1.18591}, doi = {10.1609/SOCS.V12I1.18591}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/socs/LiuCH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BaekCH21, author = {Seulkee Baek and Mario Carneiro and Marijn J. H. Heule}, editor = {Jan Friso Groote and Kim Guldstrand Larsen}, title = {A Flexible Proof Format for {SAT} Solver-Elaborator Communication}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, {TACAS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12651}, pages = {59--75}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-72016-2\_4}, doi = {10.1007/978-3-030-72016-2\_4}, timestamp = {Thu, 25 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/BaekCH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BryantH21, author = {Randal E. Bryant and Marijn J. H. Heule}, editor = {Jan Friso Groote and Kim Guldstrand Larsen}, title = {Generating Extended Resolution Proofs with a BDD-Based {SAT} Solver}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, {TACAS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12651}, pages = {76--93}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-72016-2\_5}, doi = {10.1007/978-3-030-72016-2\_5}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BryantH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/TanHM21, author = {Yong Kiam Tan and Marijn J. H. Heule and Magnus O. Myreen}, editor = {Jan Friso Groote and Kim Guldstrand Larsen}, title = {cake{\_}lpr: Verified Propagation Redundancy Checking in CakeML}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, {TACAS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12652}, pages = {223--241}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-72013-1\_12}, doi = {10.1007/978-3-030-72013-1\_12}, timestamp = {Fri, 14 May 2021 08:34:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/TanHM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/HeuleM21, author = {Marijn J. H. Heule and Hans van Maaren}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Look-Ahead Based {SAT} Solvers}, booktitle = {Handbook of Satisfiability - Second Edition}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, pages = {183--212}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA200988}, doi = {10.3233/FAIA200988}, timestamp = {Fri, 06 May 2022 08:03:54 +0200}, biburl = {https://dblp.org/rec/series/faia/HeuleM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/Heule21, author = {Marijn J. H. Heule}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Proofs of Unsatisfiability}, booktitle = {Handbook of Satisfiability - Second Edition}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, pages = {635--668}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA200998}, doi = {10.3233/FAIA200998}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/faia/Heule21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/faia/336, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Handbook of Satisfiability - Second Edition}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA336}, doi = {10.3233/FAIA336}, isbn = {978-1-64368-160-3}, timestamp = {Fri, 06 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/faia/336.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-00885, author = {Randal E. Bryant and Marijn J. H. Heule}, title = {Generating Extended Resolution Proofs with a BDD-Based {SAT} Solver}, journal = {CoRR}, volume = {abs/2105.00885}, year = {2021}, url = {https://arxiv.org/abs/2105.00885}, eprinttype = {arXiv}, eprint = {2105.00885}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-00885.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-14697, author = {Emre Yolcu and Scott Aaronson and Marijn J. H. Heule}, title = {An Automated Approach to the Collatz Conjecture}, journal = {CoRR}, volume = {abs/2105.14697}, year = {2021}, url = {https://arxiv.org/abs/2105.14697}, eprinttype = {arXiv}, eprint = {2105.14697}, timestamp = {Wed, 02 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-14697.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-09665, author = {Seulkee Baek and Mario Carneiro and Marijn J. H. Heule}, title = {A Flexible Proof Format for {SAT} Solver-Elaborator Communication}, journal = {CoRR}, volume = {abs/2109.09665}, year = {2021}, url = {https://arxiv.org/abs/2109.09665}, eprinttype = {arXiv}, eprint = {2109.09665}, timestamp = {Thu, 25 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-09665.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-02142, author = {Jeremy Avigad and Seulkee Baek and Alexander Bentkamp and Marijn Heule and Wojciech Nawrocki}, title = {An Impossible Asylum}, journal = {CoRR}, volume = {abs/2112.02142}, year = {2021}, url = {https://arxiv.org/abs/2112.02142}, eprinttype = {arXiv}, eprint = {2112.02142}, timestamp = {Wed, 08 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-02142.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/HeuleKB20, author = {Marijn J. H. Heule and Benjamin Kiesl and Armin Biere}, title = {Strong Extension-Free Proof Systems}, journal = {J. Autom. Reason.}, volume = {64}, number = {3}, pages = {533--554}, year = {2020}, url = {https://doi.org/10.1007/s10817-019-09516-0}, doi = {10.1007/S10817-019-09516-0}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/HeuleKB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/KieslRHB20, author = {Benjamin Kiesl and Adri{\'{a}}n Rebola{-}Pardo and Marijn J. H. Heule and Armin Biere}, title = {Simulating Strong Practical Proof Systems with Extended Resolution}, journal = {J. Autom. Reason.}, volume = {64}, number = {7}, pages = {1247--1267}, year = {2020}, url = {https://doi.org/10.1007/s10817-020-09554-z}, doi = {10.1007/S10817-020-09554-Z}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/KieslRHB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/WeaverH20, author = {Sean A. Weaver and Marijn Heule}, title = {Constructing Minimal Perfect Hash Functions Using {SAT} Technology}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {1668--1675}, publisher = {{AAAI} Press}, year = {2020}, url = {https://doi.org/10.1609/aaai.v34i02.5529}, doi = {10.1609/AAAI.V34I02.5529}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/WeaverH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BrakensiekHMN20, author = {Joshua Brakensiek and Marijn Heule and John Mackey and David E. Narv{\'{a}}ez}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {The Resolution of Keller's Conjecture}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12166}, pages = {48--65}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51074-9\_4}, doi = {10.1007/978-3-030-51074-9\_4}, timestamp = {Fri, 13 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BrakensiekHMN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/SweeneyHP20, author = {Joseph Sweeney and Marijn J. H. Heule and Lawrence T. Pileggi}, title = {Modeling Techniques for Logic Locking}, booktitle = {{IEEE/ACM} International Conference On Computer Aided Design, {ICCAD} 2020, San Diego, CA, USA, November 2-5, 2020}, pages = {80:1--80:9}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1145/3400302.3415668}, doi = {10.1145/3400302.3415668}, timestamp = {Mon, 18 Jan 2021 09:56:56 +0100}, biburl = {https://dblp.org/rec/conf/iccad/SweeneyHP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/OostemaMH20, author = {Peter Oostema and Ruben Martins and Marijn Heule}, editor = {Elvira Albert and Laura Kov{\'{a}}cs}, title = {Coloring Unit-Distance Strips using {SAT}}, booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020}, series = {EPiC Series in Computing}, volume = {73}, pages = {373--389}, publisher = {EasyChair}, year = {2020}, url = {https://doi.org/10.29007/btmj}, doi = {10.29007/BTMJ}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/OostemaMH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/SweeneyHP20, author = {Joseph Sweeney and Marijn Heule and Lawrence T. Pileggi}, editor = {Elvira Albert and Laura Kov{\'{a}}cs}, title = {Sensitivity Analysis of Locked Circuits}, booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020}, series = {EPiC Series in Computing}, volume = {73}, pages = {483--497}, publisher = {EasyChair}, year = {2020}, url = {https://doi.org/10.29007/7tpd}, doi = {10.29007/7TPD}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/SweeneyHP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/ChewH20, author = {Leroy Chew and Marijn J. H. Heule}, editor = {Luca Pulina and Martina Seidl}, title = {Sorting Parity Encodings by Reusing Variables}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12178}, pages = {1--10}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51825-7\_1}, doi = {10.1007/978-3-030-51825-7\_1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/ChewH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/YolcuWH20, author = {Emre Yolcu and Xinyu Wu and Marijn J. H. Heule}, editor = {Luca Pulina and Martina Seidl}, title = {Mycielski Graphs and {PR} Proofs}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12178}, pages = {201--217}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51825-7\_15}, doi = {10.1007/978-3-030-51825-7\_15}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/YolcuWH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2009-10131, author = {Joseph Sweeney and Marijn J. H. Heule and Lawrence T. Pileggi}, title = {Modeling Techniques for Logic Locking}, journal = {CoRR}, volume = {abs/2009.10131}, year = {2020}, url = {https://arxiv.org/abs/2009.10131}, eprinttype = {arXiv}, eprint = {2009.10131}, timestamp = {Wed, 23 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-10131.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-12582, author = {Zhenjun Liu and Leroy Chew and Marijn Heule}, title = {Avoiding Monochromatic Rectangles Using Shift Patterns}, journal = {CoRR}, volume = {abs/2012.12582}, year = {2020}, url = {https://arxiv.org/abs/2012.12582}, eprinttype = {arXiv}, eprint = {2012.12582}, timestamp = {Tue, 05 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-12582.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cca/HeuleKS19, author = {Marijn Heule and Manuel Kauers and Martina Seidl}, title = {A family of schemes for multiplying 3 {\texttimes} 3 matrices with 23 coefficient multiplications}, journal = {{ACM} Commun. Comput. Algebra}, volume = {53}, number = {3}, pages = {118--121}, year = {2019}, url = {https://doi.org/10.1145/3377006.3377015}, doi = {10.1145/3377006.3377015}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cca/HeuleKS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsat/HeuleJS19, author = {Marijn J. H. Heule and Matti J{\"{a}}rvisalo and Martin Suda}, title = {{SAT} Competition 2018}, journal = {J. Satisf. Boolean Model. Comput.}, volume = {11}, number = {1}, pages = {133--154}, year = {2019}, url = {https://doi.org/10.3233/SAT190120}, doi = {10.3233/SAT190120}, timestamp = {Mon, 30 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsat/HeuleJS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mics/Heule19, author = {Marijn J. H. Heule}, title = {Optimal Symmetry Breaking for Graph Problems}, journal = {Math. Comput. Sci.}, volume = {13}, number = {4}, pages = {533--548}, year = {2019}, url = {https://doi.org/10.1007/s11786-019-00397-5}, doi = {10.1007/S11786-019-00397-5}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mics/Heule19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BreikTHS19, author = {Keenan Breik and Chris Thachuk and Marijn Heule and David Soloveichik}, title = {Computing properties of stable configurations of thermodynamic binding networks}, journal = {Theor. Comput. Sci.}, volume = {785}, pages = {17--29}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2018.10.027}, doi = {10.1016/J.TCS.2018.10.027}, timestamp = {Wed, 21 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BreikTHS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/KieslHB19, author = {Benjamin Kiesl and Marijn J. H. Heule and Armin Biere}, editor = {Yu{-}Fang Chen and Chih{-}Hong Cheng and Javier Esparza}, title = {Truth Assignments as Conditional Autarkies}, booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11781}, pages = {48--64}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31784-3\_3}, doi = {10.1007/978-3-030-31784-3\_3}, timestamp = {Mon, 03 Jan 2022 17:11:32 +0100}, biburl = {https://dblp.org/rec/conf/atva/KieslHB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Heule19, author = {Marijn J. H. Heule}, editor = {Thomas Schiex and Simon de Givry}, title = {Trimming Graphs Using Clausal Proof Optimization}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {251--267}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_15}, doi = {10.1007/978-3-030-30048-7\_15}, timestamp = {Mon, 23 Sep 2019 13:55:24 +0200}, biburl = {https://dblp.org/rec/conf/cp/Heule19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/HeuleKB19, author = {Marijn J. H. Heule and Benjamin Kiesl and Armin Biere}, editor = {Julia M. Badger and Kristin Yvonne Rozier}, title = {Clausal Proofs of Mutilated Chessboards}, booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11460}, pages = {204--210}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-20652-9\_13}, doi = {10.1007/978-3-030-20652-9\_13}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/HeuleKB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleKS19, author = {Marijn J. H. Heule and Manuel Kauers and Martina Seidl}, editor = {Mikol{\'{a}}s Janota and In{\^{e}}s Lynce}, title = {Local Search for Fast Matrix Multiplication}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11628}, pages = {155--163}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-24258-9\_10}, doi = {10.1007/978-3-030-24258-9\_10}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleKS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HeuleKB19, author = {Marijn J. H. Heule and Benjamin Kiesl and Armin Biere}, editor = {Tom{\'{a}}s Vojnar and Lijun Zhang}, title = {Encoding Redundancy for Satisfaction-Driven Clause Learning}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, {TACAS} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11427}, pages = {41--58}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-17462-0\_3}, doi = {10.1007/978-3-030-17462-0\_3}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HeuleKB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-11391, author = {Marijn J. H. Heule and Manuel Kauers and Martina Seidl}, title = {Local Search for Fast Matrix Multiplication}, journal = {CoRR}, volume = {abs/1903.11391}, year = {2019}, url = {http://arxiv.org/abs/1903.11391}, eprinttype = {arXiv}, eprint = {1903.11391}, timestamp = {Tue, 02 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-11391.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-10192, author = {Marijn J. H. Heule and Manuel Kauers and Martina Seidl}, title = {New ways to multiply 3 x 3-matrices}, journal = {CoRR}, volume = {abs/1905.10192}, year = {2019}, url = {http://arxiv.org/abs/1905.10192}, eprinttype = {arXiv}, eprint = {1905.10192}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-10192.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-00929, author = {Marijn J. H. Heule}, title = {Trimming Graphs Using Clausal Proof Optimization}, journal = {CoRR}, volume = {abs/1907.00929}, year = {2019}, url = {http://arxiv.org/abs/1907.00929}, eprinttype = {arXiv}, eprint = {1907.00929}, timestamp = {Tue, 16 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-00929.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-03740, author = {Joshua Brakensiek and Marijn Heule and John Mackey}, title = {The Resolution of Keller's Conjecture}, journal = {CoRR}, volume = {abs/1910.03740}, year = {2019}, url = {http://arxiv.org/abs/1910.03740}, eprinttype = {arXiv}, eprint = {1910.03740}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-03740.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-10099, author = {Sean A. Weaver and Marijn Heule}, title = {Constructing Minimal Perfect Hash Functions Using {SAT} Technology}, journal = {CoRR}, volume = {abs/1911.10099}, year = {2019}, url = {http://arxiv.org/abs/1911.10099}, eprinttype = {arXiv}, eprint = {1911.10099}, timestamp = {Tue, 03 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-10099.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/Heule18, author = {Marijn J. H. Heule}, editor = {Sheila A. McIlraith and Kilian Q. Weinberger}, title = {Schur Number Five}, booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}, pages = {6598--6606}, publisher = {{AAAI} Press}, year = {2018}, url = {https://doi.org/10.1609/aaai.v32i1.12209}, doi = {10.1609/AAAI.V32I1.12209}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/Heule18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/KieslRH18, author = {Benjamin Kiesl and Adri{\'{a}}n Rebola{-}Pardo and Marijn J. H. Heule}, editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani}, title = {Extended Resolution Simulates {DRAT}}, booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10900}, pages = {516--531}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-94205-6\_34}, doi = {10.1007/978-3-319-94205-6\_34}, timestamp = {Mon, 28 Aug 2023 21:17:45 +0200}, biburl = {https://dblp.org/rec/conf/cade/KieslRH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BiereH18, author = {Armin Biere and Marijn Heule}, editor = {Daniel Le Berre and Matti J{\"{a}}rvisalo}, title = {The Effect of Scrambling CNFs}, booktitle = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018}, series = {EPiC Series in Computing}, volume = {59}, pages = {111--126}, publisher = {EasyChair}, year = {2018}, url = {https://doi.org/10.29007/9dj5}, doi = {10.29007/9DJ5}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/BiereH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HeuleB18, author = {Marijn J. H. Heule and Armin Biere}, editor = {Dirk Beyer and Marieke Huisman}, title = {What a Difference a Variable Makes}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10806}, pages = {75--92}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89963-3\_5}, doi = {10.1007/978-3-319-89963-3\_5}, timestamp = {Fri, 09 Apr 2021 18:45:36 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HeuleB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/18/HeuleKB18, author = {Marijn J. H. Heule and Oliver Kullmann and Armin Biere}, editor = {Youssef Hamadi and Lakhdar Sais}, title = {Cube-and-Conquer for Satisfiability}, booktitle = {Handbook of Parallel Constraint Reasoning}, pages = {31--59}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-63516-3\_2}, doi = {10.1007/978-3-319-63516-3\_2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/18/HeuleKB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/HeuleK17, author = {Marijn J. H. Heule and Oliver Kullmann}, title = {The science of brute force}, journal = {Commun. {ACM}}, volume = {60}, number = {8}, pages = {70--79}, year = {2017}, url = {https://doi.org/10.1145/3107239}, doi = {10.1145/3107239}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/HeuleK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/HeuleSB17, author = {Marijn J. H. Heule and Martina Seidl and Armin Biere}, title = {Solution Validation and Extraction for {QBF} Preprocessing}, journal = {J. Autom. Reason.}, volume = {58}, number = {1}, pages = {97--125}, year = {2017}, url = {https://doi.org/10.1007/s10817-016-9390-4}, doi = {10.1007/S10817-016-9390-4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/HeuleSB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BalyoHJ17, author = {Tom{\'{a}}s Balyo and Marijn J. H. Heule and Matti J{\"{a}}rvisalo}, editor = {Satinder Singh and Shaul Markovitch}, title = {{SAT} Competition 2016: Recent Developments}, booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA}}, pages = {5061--5063}, publisher = {{AAAI} Press}, year = {2017}, url = {https://doi.org/10.1609/aaai.v31i1.10641}, doi = {10.1609/AAAI.V31I1.10641}, timestamp = {Mon, 04 Sep 2023 14:40:32 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BalyoHJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MooreH17, author = {J Strother Moore and Marijn J. H. Heule}, editor = {Giles Reger and Dmitriy Traytel}, title = {Industrial Use of {ACL2:} Applications, Achievements, Challenges, and Directions}, booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017}, series = {EPiC Series in Computing}, volume = {51}, pages = {42--45}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/dh3f}, doi = {10.29007/DH3F}, timestamp = {Mon, 19 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/MooreH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HeuleK17, author = {Marijn Heule and Benjamin Kiesl}, editor = {Giles Reger and Dmitriy Traytel}, title = {The Potential of Interference-Based Proof Systems}, booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017}, series = {EPiC Series in Computing}, volume = {51}, pages = {51--54}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/vr7n}, doi = {10.29007/VR7N}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HeuleK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HeuleKB17, author = {Marijn J. H. Heule and Benjamin Kiesl and Armin Biere}, editor = {Leonardo de Moura}, title = {Short Proofs Without New Variables}, booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10395}, pages = {130--147}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63046-5\_9}, doi = {10.1007/978-3-319-63046-5\_9}, timestamp = {Thu, 29 Sep 2022 08:36:56 +0200}, biburl = {https://dblp.org/rec/conf/cade/HeuleKB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Cruz-FilipeHHKS17, author = {Lu{\'{\i}}s Cruz{-}Filipe and Marijn J. H. Heule and Warren A. Hunt Jr. and Matt Kaufmann and Peter Schneider{-}Kamp}, editor = {Leonardo de Moura}, title = {Efficient Certified {RAT} Verification}, booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10395}, pages = {220--236}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63046-5\_14}, doi = {10.1007/978-3-319-63046-5\_14}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Cruz-FilipeHHKS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/Heule17, author = {Marijn Heule}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Everything's Bigger in Texas: "The Largest Math Proof Ever"}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {1--5}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/gdw8}, doi = {10.29007/GDW8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/Heule17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/HeuleKSB17, author = {Marijn J. H. Heule and Benjamin Kiesl and Martina Seidl and Armin Biere}, editor = {Ofer Strichman and Rachel Tzoref{-}Brill}, title = {PRuning Through Satisfaction}, booktitle = {Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November 13-15, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10629}, pages = {179--194}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-70389-3\_12}, doi = {10.1007/978-3-319-70389-3\_12}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/HeuleKSB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/HeuleKM17, author = {Marijn J. H. Heule and Oliver Kullmann and Victor W. Marek}, editor = {Carles Sierra}, title = {Solving Very Hard Problems: Cube-and-Conquer, a Hybrid {SAT} Solving Method}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {4864--4868}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/683}, doi = {10.24963/IJCAI.2017/683}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/HeuleKM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/HeuleHKW17, author = {Marijn Heule and Warren A. Hunt Jr. and Matt Kaufmann and Nathan Wetzler}, editor = {Mauricio Ayala{-}Rinc{\'{o}}n and C{\'{e}}sar A. Mu{\~{n}}oz}, title = {Efficient, Verified Checking of Propositional Proofs}, booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP} 2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10499}, pages = {269--284}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66107-0\_18}, doi = {10.1007/978-3-319-66107-0\_18}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/itp/HeuleHKW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/KieslHS17, author = {Benjamin Kiesl and Marijn J. H. Heule and Martina Seidl}, editor = {Serge Gaspers and Toby Walsh}, title = {A Little Blocked Literal Goes a Long Way}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10491}, pages = {281--297}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66263-3\_18}, doi = {10.1007/978-3-319-66263-3\_18}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/KieslHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/WustholzOHD17, author = {Valentin W{\"{u}}stholz and Oswaldo Olivo and Marijn J. H. Heule and Isil Dillig}, editor = {Axel Legay and Tiziana Margaria}, title = {Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, {TACAS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10206}, pages = {3--20}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54580-5\_1}, doi = {10.1007/978-3-662-54580-5\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/WustholzOHD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/FazekasHSB17, author = {Katalin Fazekas and Marijn J. H. Heule and Martina Seidl and Armin Biere}, editor = {Sebastian Gabmeyer and Einar Broch Johnsen}, title = {Skolem Function Continuation for Quantified Boolean Formulas}, booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10375}, pages = {129--138}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-61467-0\_8}, doi = {10.1007/978-3-319-61467-0\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tap/FazekasHSB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/WustholzOHD17, author = {Valentin W{\"{u}}stholz and Oswaldo Olivo and Marijn J. H. Heule and Isil Dillig}, title = {Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)}, journal = {CoRR}, volume = {abs/1701.04045}, year = {2017}, url = {http://arxiv.org/abs/1701.04045}, eprinttype = {arXiv}, eprint = {1701.04045}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/WustholzOHD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-08731, author = {Keenan Breik and Lakshmi Prakash and Chris Thachuk and Marijn Heule and David Soloveichik}, title = {Computing properties of stable configurations of thermodynamic binding networks}, journal = {CoRR}, volume = {abs/1709.08731}, year = {2017}, url = {http://arxiv.org/abs/1709.08731}, eprinttype = {arXiv}, eprint = {1709.08731}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-08731.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-08076, author = {Marijn J. H. Heule}, title = {Schur Number Five}, journal = {CoRR}, volume = {abs/1711.08076}, year = {2017}, url = {http://arxiv.org/abs/1711.08076}, eprinttype = {arXiv}, eprint = {1711.08076}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-08076.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/CuongH16, author = {C. K. Cuong and M. J. H. Heule}, editor = {Nadia Creignou and Daniel Le Berre}, title = {Computing Maximum Unavoidable Subgraphs Using {SAT} Solvers}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9710}, pages = {196--211}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40970-2\_13}, doi = {10.1007/978-3-319-40970-2\_13}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/CuongH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleKM16, author = {Marijn J. H. Heule and Oliver Kullmann and Victor W. Marek}, editor = {Nadia Creignou and Daniel Le Berre}, title = {Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9710}, pages = {228--245}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40970-2\_15}, doi = {10.1007/978-3-319-40970-2\_15}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleKM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/HeuleRAG16, author = {Marijn J. H. Heule and Rezwana Reaz and Hrishikesh B. Acharya and Mohamed G. Gouda}, editor = {Borzoo Bonakdarpour and Franck Petit}, title = {Analysis of Computing Policies Using {SAT} Solvers (Short Paper)}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, {SSS} 2016, Lyon, France, November 7-10, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10083}, pages = {190--194}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49259-9\_16}, doi = {10.1007/978-3-319-49259-9\_16}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sss/HeuleRAG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/Heule16, author = {Marijn J. H. Heule}, editor = {James H. Davenport and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {The Quest for Perfect and Compact Symmetry Breaking for Graph Problems}, booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September 24-27, 2016}, pages = {149--156}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/SYNASC.2016.034}, doi = {10.1109/SYNASC.2016.034}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/synasc/Heule16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HeuleKM16, author = {Marijn J. H. Heule and Oliver Kullmann and Victor W. Marek}, title = {Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer}, journal = {CoRR}, volume = {abs/1605.00723}, year = {2016}, url = {http://arxiv.org/abs/1605.00723}, eprinttype = {arXiv}, eprint = {1605.00723}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HeuleKM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Heule16, author = {Marijn J. H. Heule}, title = {The {DRAT} format and DRAT-trim checker}, journal = {CoRR}, volume = {abs/1610.06229}, year = {2016}, url = {http://arxiv.org/abs/1610.06229}, eprinttype = {arXiv}, eprint = {1610.06229}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Heule16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Cruz-FilipeHHKS16, author = {Lu{\'{\i}}s Cruz{-}Filipe and Marijn Heule and Warren A. Hunt Jr. and Matt Kaufmann and Peter Schneider{-}Kamp}, title = {Efficient Certified {RAT} Verification}, journal = {CoRR}, volume = {abs/1612.02353}, year = {2016}, url = {http://arxiv.org/abs/1612.02353}, eprinttype = {arXiv}, eprint = {1612.02353}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeHHKS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/HeuleJLSB15, author = {Marijn Heule and Matti J{\"{a}}rvisalo and Florian Lonsing and Martina Seidl and Armin Biere}, title = {Clause Elimination for {SAT} and {QSAT}}, journal = {J. Artif. Intell. Res.}, volume = {53}, pages = {127--168}, year = {2015}, url = {https://doi.org/10.1613/jair.4694}, doi = {10.1613/JAIR.4694}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/HeuleJLSB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/HeuleS15, author = {Marijn Heule and Stefan Szeider}, title = {A {SAT} Approach to Clique-Width}, journal = {{ACM} Trans. Comput. Log.}, volume = {16}, number = {3}, pages = {24:1--24:27}, year = {2015}, url = {https://doi.org/10.1145/2736696}, doi = {10.1145/2736696}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/HeuleS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/HeuleS15, author = {Marijn Heule and Torsten Schaub}, editor = {Blai Bonet and Sven Koenig}, title = {What's Hot in the {SAT} and {ASP} Competitions}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {4322--4323}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9348}, doi = {10.1609/AAAI.V29I1.9348}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/HeuleS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HeuleHW15, author = {Marijn Heule and Warren A. Hunt Jr. and Nathan Wetzler}, editor = {Amy P. Felty and Aart Middeldorp}, title = {Expressing Symmetry Breaking in {DRAT} Proofs}, booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9195}, pages = {591--606}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21401-6\_40}, doi = {10.1007/978-3-319-21401-6\_40}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/HeuleHW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/HeuleB15a, author = {Marijn Heule and Armin Biere}, editor = {Boris Konev and Stephan Schulz and Laurent Simon}, title = {Clausal Proof Compression}, booktitle = {IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015}, series = {EPiC Series in Computing}, volume = {40}, pages = {21--26}, publisher = {EasyChair}, year = {2015}, url = {https://doi.org/10.29007/sgpl}, doi = {10.29007/SGPL}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/HeuleB15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/HeuleB15, author = {Marijn J. H. Heule and Armin Biere}, editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov}, title = {Compositional Propositional Proofs}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9450}, pages = {444--459}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48899-7\_31}, doi = {10.1007/978-3-662-48899-7\_31}, timestamp = {Mon, 03 Jan 2022 22:31:30 +0100}, biburl = {https://dblp.org/rec/conf/lpar/HeuleB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/HeuleSB15, author = {Marijn Heule and Martina Seidl and Armin Biere}, editor = {Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi}, title = {Blocked Literals Are Universal}, booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9058}, pages = {436--442}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-17524-9\_33}, doi = {10.1007/978-3-319-17524-9\_33}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/HeuleSB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/ReazAGHE15, author = {Rezwana Reaz and Muqeet Ali and Mohamed G. Gouda and Marijn Heule and Ehab S. Elmallah}, editor = {Andrzej Pelc and Alexander A. Schwarzmann}, title = {The Implication Problem of Computing Policies}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, {SSS} 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9212}, pages = {109--123}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21741-3\_8}, doi = {10.1007/978-3-319-21741-3\_8}, timestamp = {Sun, 25 Oct 2020 22:45:03 +0100}, biburl = {https://dblp.org/rec/conf/sss/ReazAGHE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sat/2015, editor = {Marijn Heule and Sean A. Weaver}, title = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9340}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24318-4}, doi = {10.1007/978-3-319-24318-4}, isbn = {978-3-319-24317-7}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/HeuleHW14, author = {Marijn Heule and Warren A. Hunt Jr. and Nathan Wetzler}, title = {Bridging the gap between easy generation and efficient verification of unsatisfiability proofs}, journal = {Softw. Test. Verification Reliab.}, volume = {24}, number = {8}, pages = {593--607}, year = {2014}, url = {https://doi.org/10.1002/stvr.1549}, doi = {10.1002/STVR.1549}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/HeuleHW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HeuleSB14, author = {Marijn Heule and Martina Seidl and Armin Biere}, editor = {St{\'{e}}phane Demri and Deepak Kapur and Christoph Weidenbach}, title = {A Unified Proof System for {QBF} Preprocessing}, booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8562}, pages = {91--106}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08587-6\_7}, doi = {10.1007/978-3-319-08587-6\_7}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HeuleSB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/HeuleSB14, author = {Marijn Heule and Martina Seidl and Armin Biere}, title = {Efficient extraction of Skolem functions from {QRAT} proofs}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland, October 21-24, 2014}, pages = {107--114}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/FMCAD.2014.6987602}, doi = {10.1109/FMCAD.2014.6987602}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/HeuleSB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleMP14, author = {Marijn Heule and Norbert Manthey and Tobias Philipp}, editor = {Daniel Le Berre}, title = {Validating Unsatisfiability Results of Clause Sharing Parallel {SAT} Solvers}, booktitle = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT} 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria}, series = {EPiC Series in Computing}, volume = {27}, pages = {12--25}, publisher = {EasyChair}, year = {2014}, url = {https://doi.org/10.29007/6vwg}, doi = {10.29007/6VWG}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleMP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BelovHM14, author = {Anton Belov and Marijn Heule and Jo{\~{a}}o Marques{-}Silva}, editor = {Carsten Sinz and Uwe Egly}, title = {{MUS} Extraction Using Clausal Proofs}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8561}, pages = {48--57}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09284-3\_5}, doi = {10.1007/978-3-319-09284-3\_5}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/BelovHM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/BalyoFHB14, author = {Tom{\'{a}}s Balyo and Andreas Fr{\"{o}}hlich and Marijn Heule and Armin Biere}, editor = {Carsten Sinz and Uwe Egly}, title = {Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8561}, pages = {317--332}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09284-3\_24}, doi = {10.1007/978-3-319-09284-3\_24}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/BalyoFHB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/WetzlerHH14, author = {Nathan Wetzler and Marijn Heule and Warren A. Hunt Jr.}, editor = {Carsten Sinz and Uwe Egly}, title = {DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8561}, pages = {422--429}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09284-3\_31}, doi = {10.1007/978-3-319-09284-3\_31}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/WetzlerHH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HaimH14, author = {Shai Haim and Marijn Heule}, title = {Towards Ultra Rapid Restarts}, journal = {CoRR}, volume = {abs/1402.4413}, year = {2014}, url = {http://arxiv.org/abs/1402.4413}, eprinttype = {arXiv}, eprint = {1402.4413}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HaimH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MijndersWH14, author = {Sid Mijnders and Boris de Wilde and Marijn Heule}, title = {Symbiosis of Search and Heuristics for Random 3-SAT}, journal = {CoRR}, volume = {abs/1402.4455}, year = {2014}, url = {http://arxiv.org/abs/1402.4455}, eprinttype = {arXiv}, eprint = {1402.4455}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MijndersWH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TakHB14, author = {Peter van der Tak and Marijn Heule and Armin Biere}, title = {Concurrent Cube-and-Conquer}, journal = {CoRR}, volume = {abs/1402.4465}, year = {2014}, url = {http://arxiv.org/abs/1402.4465}, eprinttype = {arXiv}, eprint = {1402.4465}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TakHB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/combinatorics/HartmanHKN13, author = {Christiaan Hartman and Marijn Heule and Kees Kwekkeboom and Alain Noels}, title = {Symmetry in Gardens of Eden}, journal = {Electron. J. Comb.}, volume = {20}, number = {3}, pages = {16}, year = {2013}, url = {https://doi.org/10.37236/2611}, doi = {10.37236/2611}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/combinatorics/HartmanHKN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ese/HeuleV13, author = {Marijn Heule and Sicco Verwer}, title = {Software model synthesis using satisfiability solvers}, journal = {Empir. Softw. Eng.}, volume = {18}, number = {4}, pages = {825--856}, year = {2013}, url = {https://doi.org/10.1007/s10664-012-9222-z}, doi = {10.1007/S10664-012-9222-Z}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ese/HeuleV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HeuleHW13, author = {Marijn Heule and Warren A. Hunt Jr. and Nathan Wetzler}, editor = {Maria Paola Bonacina}, title = {Verifying Refutations with Extended Resolution}, booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7898}, pages = {345--359}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38574-2\_24}, doi = {10.1007/978-3-642-38574-2\_24}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/HeuleHW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/HeuleJB13, author = {Marijn Heule and Matti J{\"{a}}rvisalo and Armin Biere}, editor = {Carla P. Gomes and Meinolf Sellmann}, title = {Revisiting Hyper Binary Resolution}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7874}, pages = {77--93}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38171-3\_6}, doi = {10.1007/978-3-642-38171-3\_6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/HeuleJB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/HeuleHW13, author = {Marijn Heule and Warren A. Hunt Jr. and Nathan Wetzler}, title = {Trimming while checking clausal proofs}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR, USA, October 20-23, 2013}, pages = {181--188}, publisher = {{IEEE}}, year = {2013}, url = {https://ieeexplore.ieee.org/document/6679408/}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/HeuleHW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/WetzlerHH13, author = {Nathan Wetzler and Marijn Heule and Warren A. Hunt Jr.}, editor = {Sandrine Blazy and Christine Paulin{-}Mohring and David Pichardie}, title = {Mechanical Verification of {SAT} Refutations with Extended Resolution}, booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP} 2013, Rennes, France, July 22-26, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7998}, pages = {229--244}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39634-2\_18}, doi = {10.1007/978-3-642-39634-2\_18}, timestamp = {Wed, 25 Sep 2019 18:17:56 +0200}, biburl = {https://dblp.org/rec/conf/itp/WetzlerHH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/HeuleB13, author = {Marijn Heule and Armin Biere}, editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov}, title = {Blocked Clause Decomposition}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8312}, pages = {423--438}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45221-5\_29}, doi = {10.1007/978-3-642-45221-5\_29}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/HeuleB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleS13, author = {Marijn Heule and Stefan Szeider}, editor = {Matti J{\"{a}}rvisalo and Allen Van Gelder}, title = {A {SAT} Approach to Clique-Width}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7962}, pages = {318--334}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39071-5\_24}, doi = {10.1007/978-3-642-39071-5\_24}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1304-5498, author = {Marijn Heule and Stefan Szeider}, title = {A {SAT} Approach to Clique-Width}, journal = {CoRR}, volume = {abs/1304.5498}, year = {2013}, url = {http://arxiv.org/abs/1304.5498}, eprinttype = {arXiv}, eprint = {1304.5498}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1304-5498.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/JarvisaloBH12, author = {Matti J{\"{a}}rvisalo and Armin Biere and Marijn Heule}, title = {Simulating Circuit-Level Simplifications on {CNF}}, journal = {J. Autom. Reason.}, volume = {49}, number = {4}, pages = {583--619}, year = {2012}, url = {https://doi.org/10.1007/s10817-011-9239-9}, doi = {10.1007/S10817-011-9239-9}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/JarvisaloBH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/JarvisaloHB12, author = {Matti J{\"{a}}rvisalo and Marijn Heule and Armin Biere}, editor = {Bernhard Gramlich and Dale Miller and Uli Sattler}, title = {Inprocessing Rules}, booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR} 2012, Manchester, UK, June 26-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7364}, pages = {355--370}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31365-3\_28}, doi = {10.1007/978-3-642-31365-3\_28}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/JarvisaloHB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/MantheyHB12, author = {Norbert Manthey and Marijn Heule and Armin Biere}, editor = {Armin Biere and Amir Nahir and Tanja E. J. Vos}, title = {Automated Reencoding of Boolean Formulas}, booktitle = {Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7857}, pages = {102--117}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-39611-3\_14}, doi = {10.1007/978-3-642-39611-3\_14}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/MantheyHB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/TakHB12, author = {Peter van der Tak and Marijn Heule and Armin Biere}, editor = {Alessandro Cimatti and Roberto Sebastiani}, title = {Concurrent Cube-and-Conquer - (Poster Presentation)}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7317}, pages = {475--476}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31612-8\_42}, doi = {10.1007/978-3-642-31612-8\_42}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/TakHB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sle/WidlBBEHKST12, author = {Magdalena Widl and Armin Biere and Petra Brosch and Uwe Egly and Marijn Heule and Gerti Kappel and Martina Seidl and Hans Tompits}, editor = {Krzysztof Czarnecki and G{\"{o}}rel Hedin}, title = {Guided Merging of Sequence Diagrams}, booktitle = {Software Language Engineering, 5th International Conference, {SLE} 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7745}, pages = {164--183}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-36089-3\_10}, doi = {10.1007/978-3-642-36089-3\_10}, timestamp = {Fri, 30 Dec 2022 23:08:55 +0100}, biburl = {https://dblp.org/rec/conf/sle/WidlBBEHKST12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsat/TakRH11, author = {Peter van der Tak and Antonio Ramos and Marijn Heule}, title = {Reusing the Assignment Trail in {CDCL} Solvers}, journal = {J. Satisf. Boolean Model. Comput.}, volume = {7}, number = {4}, pages = {133--138}, year = {2011}, url = {https://doi.org/10.3233/sat190082}, doi = {10.3233/SAT190082}, timestamp = {Mon, 17 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsat/TakRH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Heule11, author = {Marijn Heule}, title = {\emph{Introduction to Mathematics of Satisfiability}, Victor W. Marek, Chapman {\&} Hall/CRC, 2009. Hardback, {ISBN-13:} 978-143980167-3, {\textdollar}89.95}, journal = {Theory Pract. Log. Program.}, volume = {11}, number = {1}, pages = {126--130}, year = {2011}, url = {https://doi.org/10.1017/S1471068410000451}, doi = {10.1017/S1471068410000451}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/Heule11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/HeuleKWB11, author = {Marijn Heule and Oliver Kullmann and Siert Wieringa and Armin Biere}, editor = {Kerstin Eder and Jo{\~{a}}o Louren{\c{c}}o and Onn Shehory}, title = {Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads}, booktitle = {Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7261}, pages = {50--65}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-34188-5\_8}, doi = {10.1007/978-3-642-34188-5\_8}, timestamp = {Fri, 27 Mar 2020 08:58:09 +0100}, biburl = {https://dblp.org/rec/conf/hvc/HeuleKWB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleJB11, author = {Marijn Heule and Matti J{\"{a}}rvisalo and Armin Biere}, editor = {Karem A. Sakallah and Laurent Simon}, title = {Efficient {CNF} Simplification Based on Binary Implication Graphs}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6695}, pages = {201--215}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21581-0\_17}, doi = {10.1007/978-3-642-21581-0\_17}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleJB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/RamosTH11, author = {Antonio Ramos and Peter van der Tak and Marijn Heule}, editor = {Karem A. Sakallah and Laurent Simon}, title = {Between Restarts and Backjumps}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6695}, pages = {216--229}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21581-0\_18}, doi = {10.1007/978-3-642-21581-0\_18}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/RamosTH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/GableskeH11, author = {Oliver Gableske and Marijn Heule}, editor = {Karem A. Sakallah and Laurent Simon}, title = {EagleUP: Solving Random 3-SAT Using {SLS} with Unit Propagation}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6695}, pages = {367--368}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21581-0\_32}, doi = {10.1007/978-3-642-21581-0\_32}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/GableskeH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/HeuleW10, author = {Marijn Heule and Toby Walsh}, editor = {Maria Fox and David Poole}, title = {Symmetry in Solutions}, booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010}, pages = {77--82}, publisher = {{AAAI} Press}, year = {2010}, url = {https://doi.org/10.1609/aaai.v24i1.7549}, doi = {10.1609/AAAI.V24I1.7549}, timestamp = {Mon, 04 Sep 2023 16:23:45 +0200}, biburl = {https://dblp.org/rec/conf/aaai/HeuleW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icgi/HeuleV10, author = {Marijn Heule and Sicco Verwer}, editor = {Jos{\'{e}} M. Sempere and Pedro Garc{\'{\i}}a}, title = {Exact {DFA} Identification Using {SAT} Solvers}, booktitle = {Grammatical Inference: Theoretical Results and Applications, 10th International Colloquium, {ICGI} 2010, Valencia, Spain, September 13-16, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6339}, pages = {66--79}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15488-1\_7}, doi = {10.1007/978-3-642-15488-1\_7}, timestamp = {Wed, 13 Jan 2021 14:02:25 +0100}, biburl = {https://dblp.org/rec/conf/icgi/HeuleV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/HeuleJB10a, author = {Marijn Heule and Matti J{\"{a}}rvisalo and Armin Biere}, editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian G. Ferm{\"{u}}ller}, title = {Covered Clause Elimination}, booktitle = {Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010}, series = {EPiC Series in Computing}, volume = {13}, pages = {41--46}, publisher = {EasyChair}, year = {2010}, url = {https://doi.org/10.29007/cl8s}, doi = {10.29007/CL8S}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/HeuleJB10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/HeuleJB10, author = {Marijn Heule and Matti J{\"{a}}rvisalo and Armin Biere}, editor = {Christian G. Ferm{\"{u}}ller and Andrei Voronkov}, title = {Clause Elimination Procedures for {CNF} Formulas}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6397}, pages = {357--371}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16242-8\_26}, doi = {10.1007/978-3-642-16242-8\_26}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/HeuleJB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/JarvisaloBH10, author = {Matti J{\"{a}}rvisalo and Armin Biere and Marijn Heule}, editor = {Javier Esparza and Rupak Majumdar}, title = {Blocked Clause Elimination}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6015}, pages = {129--144}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12002-2\_10}, doi = {10.1007/978-3-642-12002-2\_10}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/JarvisaloBH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1004-2624, author = {Marijn Heule and Toby Walsh}, title = {Symmetry within Solutions}, journal = {CoRR}, volume = {abs/1004.2624}, year = {2010}, url = {http://arxiv.org/abs/1004.2624}, eprinttype = {arXiv}, eprint = {1004.2624}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-2624.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1011-5202, author = {Marijn Heule and Matti J{\"{a}}rvisalo and Armin Biere}, title = {Covered Clause Elimination}, journal = {CoRR}, volume = {abs/1011.5202}, year = {2010}, url = {http://arxiv.org/abs/1011.5202}, eprinttype = {arXiv}, eprint = {1011.5202}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1011-5202.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/SchaafsmaHM09, author = {Bas Schaafsma and Marijn Heule and Hans van Maaren}, editor = {Oliver Kullmann}, title = {Dynamic Symmetry Breaking by Simulating Zykov Contraction}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th International Conference, {SAT} 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5584}, pages = {223--236}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02777-2\_22}, doi = {10.1007/978-3-642-02777-2\_22}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/SchaafsmaHM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/HeuleM09, author = {Marijn Heule and Hans van Maaren}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Look-Ahead Based {SAT} Solvers}, booktitle = {Handbook of Satisfiability}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, pages = {155--184}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-58603-929-5-155}, doi = {10.3233/978-1-58603-929-5-155}, timestamp = {Fri, 06 May 2022 08:00:40 +0200}, biburl = {https://dblp.org/rec/series/faia/HeuleM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/faia/2009-185, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Handbook of Satisfiability}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, publisher = {{IOS} Press}, year = {2009}, isbn = {978-1-58603-929-5}, timestamp = {Fri, 06 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/faia/2009-185.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/basesearch/Heule08, author = {M. J. H. Heule}, title = {SmArT solving: tools and techniques for satisfiability solvers}, school = {Delft University of Technology, Netherlands}, year = {2008}, url = {http://resolver.tudelft.nl/uuid:d41522e3-690a-4eb7-a352-652d39d7ac81}, timestamp = {Thu, 30 Mar 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/basesearch/Heule08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/MaarenNH08, author = {Hans van Maaren and Linda van Norden and M. J. H. Heule}, title = {Sums of squares based approximation algorithms for {MAX-SAT}}, journal = {Discret. Appl. Math.}, volume = {156}, number = {10}, pages = {1754--1779}, year = {2008}, url = {https://doi.org/10.1016/j.dam.2007.08.036}, doi = {10.1016/J.DAM.2007.08.036}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/MaarenNH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsat/HeuleM08, author = {Marijn Heule and Hans van Maaren}, title = {Parallel {SAT} Solving using Bit-level Operations}, journal = {J. Satisf. Boolean Model. Comput.}, volume = {4}, number = {2-4}, pages = {99--116}, year = {2008}, url = {https://doi.org/10.3233/sat190040}, doi = {10.3233/SAT190040}, timestamp = {Mon, 17 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsat/HeuleM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsat/HeuleM08a, author = {Marijn Heule and Hans van Maaren}, title = {Whose side are you on? Finding solutions in a biased search-tree}, journal = {J. Satisf. Boolean Model. Comput.}, volume = {4}, number = {2-4}, pages = {117--148}, year = {2008}, url = {https://doi.org/10.3233/sat190041}, doi = {10.3233/SAT190041}, timestamp = {Mon, 17 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsat/HeuleM08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/combinatorics/HerwigHLM07, author = {P. R. Herwig and M. J. H. Heule and P. M. van Lambalgen and Hans van Maaren}, title = {A New Method to Construct Lower Bounds for Van der Waerden Numbers}, journal = {Electron. J. Comb.}, volume = {14}, number = {1}, year = {2007}, url = {https://doi.org/10.37236/925}, doi = {10.37236/925}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/combinatorics/HerwigHLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/HeuleR07, author = {M. J. H. Heule and L{\'{e}}on J. M. Rothkrantz}, title = {Solving games: Dependence of applicable solving procedures}, journal = {Sci. Comput. Program.}, volume = {67}, number = {1}, pages = {105--124}, year = {2007}, url = {https://doi.org/10.1016/j.scico.2007.01.004}, doi = {10.1016/J.SCICO.2007.01.004}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/HeuleR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleM07, author = {Marijn Heule and Hans van Maaren}, editor = {Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, title = {From Idempotent Generalized Boolean Assignments to Multi-bit Search}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4501}, pages = {134--147}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72788-0\_16}, doi = {10.1007/978-3-540-72788-0\_16}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleM07a, author = {Marijn Heule and Hans van Maaren}, editor = {Jo{\~{a}}o Marques{-}Silva and Karem A. Sakallah}, title = {Effective Incorporation of Double Look-Ahead Procedures}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4501}, pages = {258--271}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72788-0\_25}, doi = {10.1007/978-3-540-72788-0\_25}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleM07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vsmm/BierJHBHM07, author = {Henriette Bier and Adriaan de Jong and Gijs van der Hoorn and Niels Brouwers and Marijn Heule and Hans van Maaren}, editor = {Theodor G. Wyeld and Sarah Kenderdine and Michael J. Docherty}, title = {Prototypes for Automated Architectural 3D-Layout}, booktitle = {Virtual Systems and Multimedia, 13th International Conference, {VSMM} 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4820}, pages = {203--214}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-78566-8\_18}, doi = {10.1007/978-3-540-78566-8\_18}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vsmm/BierJHBHM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsat/HeuleM06, author = {Marijn Heule and Hans van Maaren}, title = {March{\_}dl: Adding Adaptive Heuristics and a New Branching Strategy}, journal = {J. Satisf. Boolean Model. Comput.}, volume = {2}, number = {1-4}, pages = {47--59}, year = {2006}, url = {https://doi.org/10.3233/sat190016}, doi = {10.3233/SAT190016}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsat/HeuleM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleM05, author = {Marijn Heule and Hans van Maaren}, editor = {Fahiem Bacchus and Toby Walsh}, title = {Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming}, booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3569}, pages = {122--134}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11499107\_9}, doi = {10.1007/11499107\_9}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleM04a, author = {Marijn Heule and Hans van Maaren}, editor = {Holger H. Hoos and David G. Mitchell}, title = {Aligning {CNF-} and Equivalence-Reasoning}, booktitle = {Theory and Applications of Satisfiability Testing, 7th International Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3542}, pages = {145--156}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11527695\_12}, doi = {10.1007/11527695\_12}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/HeuleM04a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleDZM04, author = {Marijn Heule and Mark Dufour and Joris E. van Zwieten and Hans van Maaren}, editor = {Holger H. Hoos and David G. Mitchell}, title = {March{\_}eq: Implementing Additional Reasoning into an Efficient Look-Ahead {SAT} Solver}, booktitle = {Theory and Applications of Satisfiability Testing, 7th International Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3542}, pages = {345--359}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11527695\_26}, doi = {10.1007/11527695\_26}, timestamp = {Wed, 29 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/HeuleDZM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/HeuleM04, author = {Marijn Heule and Hans van Maaren}, title = {Aligning {CNF-} and Equivalence-reasoning}, booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings}, year = {2004}, url = {http://www.satisfiability.org/SAT04/programme/72.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/HeuleM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.