Marijn Heule - RankMe

91 papers A* 5A 20B 12C 2Misc 1Journal 29Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting. AAAI Ratip Emin Berker, Emanuel Tewolde, Vincent Conitzer, Mingyu Guo, Marijn Heule, Lirong Xia
2025	C	`conf`	Automated Symmetric Constructions in Discrete Geometry. CICM Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn Heule
2025	A	`conf`	Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification. CADE Yi Zhou, Amar Shah, Zhengyao Lin, Marijn Heule, Bryan Parno
2025	J	`jnl`	On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting. CoRR Ratip Emin Berker, Emanuel Tewolde, Vincent Conitzer, Mingyu Guo, Marijn Heule, Lirong Xia
2025	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I TACAS (1) Arie Gurfinkel, Marijn Heule
2025	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II TACAS (2) Arie Gurfinkel, Marijn Heule
2025	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III TACAS (3) Arie Gurfinkel, Marijn Heule
2024	—	`ed.`	LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024 LPAR Complementary Volume Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov
2024	B	`ed.`	LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024 LPAR Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov
2023	J	`jnl`	An Impossible Asylum. Am. Math. Mon. Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
2023	B	`conf`	Mariposa: Measuring SMT Instability in Automated Program Verification. FMCAD Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
2023	B	`conf`	Toward Optimal Radio Colorings of Hypercubes via SAT-solving. LPAR Bernardo Subercaseaux, Marijn Heule
2022	A*	`conf`	A programmable, energy-minimal dataflow compiler and architecture. MICRO Graham Gobieski, Souradip Ghosh, Marijn Heule, Todd C. Mowry, Tony Nowatzki, Nathan Beckmann, Brandon Lucia
2022	J	`jnl`	The Resolution of Keller's Conjecture. J. Autom. Reason. Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
2022	J	`jnl`	Tighter Bounds on Directed Ramsey Number R(7). Graphs Comb. David Neiman, John Mackey, Marijn Heule
2021	J	`jnl`	An Impossible Asylum. CoRR Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
2021	Misc	`conf`	Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. NSDI Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno
2021	—	`book`	Handbook of Satisfiability - Second Edition Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh
2021	J	`jnl`	SAT Competition 2020. Artif. Intell. Nils Froleyks, Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda
2020	J	`jnl`	Avoiding Monochromatic Rectangles Using Shift Patterns. CoRR Zhenjun Liu, Leroy Chew, Marijn Heule
2020	B	`conf`	Coloring Unit-Distance Strips using SAT. LPAR Peter Oostema, Ruben Martins, Marijn Heule
2020	A*	`conf`	Constructing Minimal Perfect Hash Functions Using SAT Technology. AAAI Sean A. Weaver, Marijn Heule
2020	B	`conf`	Sensitivity Analysis of Locked Circuits. LPAR Joseph Sweeney, Marijn Heule, Lawrence T. Pileggi
2020	—	`conf`	The Resolution of Keller's Conjecture. IJCAR (1) Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
2019	J	`jnl`	A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. ACM Commun. Comput. Algebra Marijn Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	Computing properties of stable configurations of thermodynamic binding networks. Theor. Comput. Sci. Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik
2019	J	`jnl`	Constructing Minimal Perfect Hash Functions Using SAT Technology. CoRR Sean A. Weaver, Marijn Heule
2019	J	`jnl`	The Resolution of Keller's Conjecture. CoRR Joshua Brakensiek, Marijn Heule, John Mackey
2018	—	`conf`	The Effect of Scrambling CNFs. POS@SAT Armin Biere, Marijn Heule
2017	J	`jnl`	Computing properties of stable configurations of thermodynamic binding networks. CoRR Keenan Breik, Lakshmi Prakash, Chris Thachuk, Marijn Heule, David Soloveichik
2017	B	`conf`	Efficient, Verified Checking of Propositional Proofs. ITP Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Nathan Wetzler
2017	—	`conf`	Everything's Bigger in Texas: "The Largest Math Proof Ever". GCAI Marijn Heule
2017	—	`conf`	The Potential of Interference-Based Proof Systems. ARCADE@CADE Marijn Heule, Benjamin Kiesl
2016	J	`jnl`	Efficient Certified RAT Verification. CoRR Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
2015	J	`jnl`	A SAT Approach to Clique-Width. ACM Trans. Comput. Log. Marijn Heule, Stefan Szeider
2015	—	`conf`	Blocked Literals Are Universal. NFM Marijn Heule, Martina Seidl, Armin Biere
2015	—	`conf`	Clausal Proof Compression. IWIL@LPAR Marijn Heule, Armin Biere
2015	J	`jnl`	Clause Elimination for SAT and QSAT. J. Artif. Intell. Res. Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere
2015	A	`conf`	Expressing Symmetry Breaking in DRAT Proofs. CADE Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
2015	C	`conf`	The Implication Problem of Computing Policies. SSS Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah
2015	A	`ed.`	Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings SAT Marijn Heule, Sean A. Weaver
2015	A*	`conf`	What's Hot in the SAT and ASP Competitions. AAAI Marijn Heule, Torsten Schaub
2014	A	`conf`	A Unified Proof System for QBF Preprocessing. IJCAR Marijn Heule, Martina Seidl, Armin Biere
2014	J	`jnl`	Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. Softw. Test. Verification Reliab. Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
2014	J	`jnl`	Concurrent Cube-and-Conquer. CoRR Peter van der Tak, Marijn Heule, Armin Biere
2014	A	`conf`	DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs. SAT Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr.
2014	B	`conf`	Efficient extraction of Skolem functions from QRAT proofs. FMCAD Marijn Heule, Martina Seidl, Armin Biere
2014	A	`conf`	Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). SAT Tomás Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere
2014	A	`conf`	MUS Extraction Using Clausal Proofs. SAT Anton Belov, Marijn Heule, João Marques-Silva
2014	J	`jnl`	Symbiosis of Search and Heuristics for Random 3-SAT. CoRR Sid Mijnders, Boris de Wilde, Marijn Heule
2014	J	`jnl`	Towards Ultra Rapid Restarts. CoRR Shai Haim, Marijn Heule
2014	—	`conf`	Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. POS@SAT Marijn Heule, Norbert Manthey, Tobias Philipp
2013	J	`jnl`	A SAT Approach to Clique-Width CoRR Marijn Heule, Stefan Szeider
2013	A	`conf`	A SAT Approach to Clique-Width. SAT Marijn Heule, Stefan Szeider
2013	B	`conf`	Blocked Clause Decomposition. LPAR Marijn Heule, Armin Biere
2013	B	`conf`	Mechanical Verification of SAT Refutations with Extended Resolution. ITP Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr.
2013	B	`conf`	Revisiting Hyper Binary Resolution. CPAIOR Marijn Heule, Matti Järvisalo, Armin Biere
2013	J	`jnl`	Software model synthesis using satisfiability solvers. Empir. Softw. Eng. Marijn Heule, Sicco Verwer
2013	J	`jnl`	Symmetry in Gardens of Eden. Electron. J. Comb. Christiaan Hartman, Marijn Heule, Kees Kwekkeboom, Alain Noels
2013	B	`conf`	Trimming while checking clausal proofs. FMCAD Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
2013	A	`conf`	Verifying Refutations with Extended Resolution. CADE Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
2012	—	`conf`	Automated Reencoding of Boolean Formulas. Haifa Verification Conference Norbert Manthey, Marijn Heule, Armin Biere
2012	A	`conf`	Concurrent Cube-and-Conquer - (Poster Presentation). SAT Peter van der Tak, Marijn Heule, Armin Biere
2012	B	`conf`	Guided Merging of Sequence Diagrams. SLE Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits
2012	A	`conf`	Inprocessing Rules. IJCAR Matti Järvisalo, Marijn Heule, Armin Biere
2012	J	`jnl`	Simulating Circuit-Level Simplifications on CNF. J. Autom. Reason. Matti Järvisalo, Armin Biere, Marijn Heule
2011	A	`conf`	Between Restarts and Backjumps. SAT Antonio Ramos, Peter van der Tak, Marijn Heule
2011	—	`conf`	Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads. Haifa Verification Conference Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere
2011	A	`conf`	EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation. SAT Oliver Gableske, Marijn Heule
2011	A	`conf`	Efficient CNF Simplification Based on Binary Implication Graphs. SAT Marijn Heule, Matti Järvisalo, Armin Biere
2011	J	`jnl`	Reusing the Assignment Trail in CDCL Solvers. J. Satisf. Boolean Model. Comput. Peter van der Tak, Antonio Ramos, Marijn Heule
2010	A	`conf`	Blocked Clause Elimination. TACAS Matti Järvisalo, Armin Biere, Marijn Heule
2010	—	`conf`	Clause Elimination Procedures for CNF Formulas. LPAR (Yogyakarta) Marijn Heule, Matti Järvisalo, Armin Biere
2010	J	`jnl`	Covered Clause Elimination CoRR Marijn Heule, Matti Järvisalo, Armin Biere
2010	—	`conf`	Covered Clause Elimination. LPAR short papers(Yogyakarta) Marijn Heule, Matti Järvisalo, Armin Biere
2010	—	`conf`	Exact DFA Identification Using SAT Solvers. ICGI Marijn Heule, Sicco Verwer
2010	A*	`conf`	Symmetry in Solutions. AAAI Marijn Heule, Toby Walsh
2010	J	`jnl`	Symmetry within Solutions CoRR Marijn Heule, Toby Walsh
2009	A	`conf`	Dynamic Symmetry Breaking by Simulating Zykov Contraction. SAT Bas Schaafsma, Marijn Heule, Hans van Maaren
2009	—	`book`	Handbook of Satisfiability Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh
2009	—	`ch.`	Look-Ahead Based SAT Solvers. Handbook of Satisfiability Marijn Heule, Hans van Maaren
2008	J	`jnl`	Parallel SAT Solving using Bit-level Operations. J. Satisf. Boolean Model. Comput. Marijn Heule, Hans van Maaren
2008	J	`jnl`	Whose side are you on? Finding solutions in a biased search-tree. J. Satisf. Boolean Model. Comput. Marijn Heule, Hans van Maaren
2007	A	`conf`	Effective Incorporation of Double Look-Ahead Procedures. SAT Marijn Heule, Hans van Maaren
2007	A	`conf`	From Idempotent Generalized Boolean Assignments to Multi-bit Search. SAT Marijn Heule, Hans van Maaren
2007	—	`conf`	Prototypes for Automated Architectural 3D-Layout. VSMM Henriette Bier, Adriaan de Jong, Gijs van der Hoorn, Niels Brouwers, Marijn Heule, Hans van Maaren
2006	J	`jnl`	March_dl: Adding Adaptive Heuristics and a New Branching Strategy. J. Satisf. Boolean Model. Comput. Marijn Heule, Hans van Maaren
2005	A	`conf`	Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming. SAT Marijn Heule, Hans van Maaren
2004	—	`conf`	Aligning CNF- and Equivalence-Reasoning. SAT (Selected Papers Marijn Heule, Hans van Maaren
2004	A	`conf`	Aligning CNF- and Equivalence-reasoning. SAT Marijn Heule, Hans van Maaren
2004	—	`conf`	March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. SAT (Selected Papers Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren