M. J. H. Heule

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Boolean Satisfiability

Weighted Max Sat

Top Venues

Delft University of Technology, Netherlands (PHD)

Education History

Delft University of Technology, Netherlands

PHD

Publications

C. K. Cuong, M. J. H. Heule
Computing Maximum Unavoidable Subgraphs Using SAT Solvers. SAT (2016)
Hans van Maaren, Linda van Norden, M. J. H. Heule
Sums of squares based approximation algorithms for MAX-SAT. Discret. Appl. Math. 156 (10) (2008)
M. J. H. Heule, Léon J. M. Rothkrantz
Solving games: Dependence of applicable solving procedures. Sci. Comput. Program. 67 (1) (2007)
P. R. Herwig, M. J. H. Heule, P. M. van Lambalgen, Hans van Maaren
A New Method to Construct Lower Bounds for Van der Waerden Numbers. Electron. J. Comb. 14 (1) (2007)