Marijn Heule
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 24
Publications (10 Years): 24
Publications
- Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech Nawrocki
- Bernardo Subercaseaux, Marijn Heule
- Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
- David Neiman, John Mackey, Marijn Heule
- Jeremy Avigad, Seulkee Baek, Alexander Bentkamp, Marijn Heule, Wojciech NawrockiAn Impossible Asylum. CoRR (2021)
- Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
- Zhenjun Liu, Leroy Chew, Marijn Heule
- Peter Oostema, Ruben Martins, Marijn Heule
- Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
- Sean A. Weaver, Marijn Heule
- Joseph Sweeney, Marijn Heule, Lawrence T. Pileggi
- Joshua Brakensiek, Marijn Heule, John Mackey
- Sean A. Weaver, Marijn Heule
- Armin Biere, Marijn Heule
- Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Nathan Wetzler
- Marijn Heule
- Marijn Heule, Benjamin Kiesl
- Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
- Marijn Heule, Armin Biere
- Marijn Heule, Stefan Szeider
- Marijn Heule, Martina Seidl, Armin Biere
- Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah
- Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere
- Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
- Marijn Heule, Torsten Schaub
- Marijn Heule, Martina Seidl, Armin Biere
- Peter van der Tak, Marijn Heule, Armin BiereConcurrent Cube-and-Conquer. CoRR (2014)
- Marijn Heule, Martina Seidl, Armin Biere
- Anton Belov, Marijn Heule, João Marques-Silva
- Shai Haim, Marijn Heule
- Sid Mijnders, Boris de Wilde, Marijn Heule
- Marijn Heule, Stefan Szeider
- Marijn Heule, Matti Järvisalo, Armin Biere
- Marijn Heule, Sicco Verwer
- Christiaan Hartman, Marijn Heule, Kees Kwekkeboom, Alain NoelsSymmetry in Gardens of Eden. Electron. J. Comb. 20 (3) (2013)
- Marijn Heule, Stefan Szeider
- Marijn Heule, Armin Biere
- Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
- Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler
- Norbert Manthey, Marijn Heule, Armin Biere
- Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits
- Matti Järvisalo, Marijn Heule, Armin Biere
- Peter van der Tak, Marijn Heule, Armin Biere
- Matti Järvisalo, Armin Biere, Marijn Heule
- Antonio Ramos, Peter van der Tak, Marijn Heule
- Marijn Heule, Matti Järvisalo, Armin Biere
- Peter van der Tak, Antonio Ramos, Marijn Heule
- Oliver Gableske, Marijn Heule
- Marijn Heule, Toby WalshSymmetry within Solutions CoRR (2010)
- Marijn Heule, Matti Järvisalo, Armin Biere
- Marijn Heule, Matti Järvisalo, Armin Biere
- Marijn Heule, Toby WalshSymmetry in Solutions. AAAI (2010)
- Marijn Heule, Sicco Verwer
- Matti Järvisalo, Armin Biere, Marijn Heule
- Marijn Heule, Matti Järvisalo, Armin BiereCovered Clause Elimination CoRR (2010)
- Bas Schaafsma, Marijn Heule, Hans van Maaren
- Marijn Heule, Hans van Maaren
- Marijn Heule, Hans van Maaren
- Marijn Heule, Hans van Maaren
- Marijn Heule, Hans van Maaren
- Marijn Heule, Hans van Maaren
- Marijn Heule, Hans van Maaren
- Marijn Heule, Hans van Maaren