H.vanMaaren@tudelft.nl
Ex associate
professor in Mathematics & Computer Science (EWI) at Delft University of
Technology
Research
Publications and
related research output
Ex Editor in Chief of JSAT, Journal on Satisfiability, Boolean Modeling and Computation