Marijn Heule

Associate Professor, Computer Science Department, Carnegie Mellon University

Joined

July 2019

Marijn Heule

Marijn J. H. Heule

M. J. H. Heule

****@cmu.edu (Confirmed)

Associate Professor

Computer Science Department, Carnegie Mellon University (cmu.edu)

2019 – Present

No relations added

No areas of expertise listed

On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting
Ratip Emin Berker, Emanuel Tewolde, Vincent Conitzer, Mingyu Guo, Marijn Heule, Lirong Xia
- ICLR 2026 Workshop AIMS Oral
- Readers: Everyone
Schur Number Five
Marijn J. H. Heule
- 2018 (modified: 16 Jul 2019)
- AAAI 2018
- Readers: Everyone
SAT Competition 2016: Recent Developments
Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo
- 2017 (modified: 02 Mar 2020)
- AAAI 2017
- Readers: Everyone
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone
What's Hot in the SAT and ASP Competitions
Marijn Heule, Torsten Schaub
- 2015 (modified: 16 Jul 2019)
- AAAI 2015
- Readers: Everyone
Symmetry in Solutions
Marijn Heule, Toby Walsh
- 2010 (modified: 16 Jul 2019)
- AAAI 2010
- Readers: Everyone