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

SAT at Delft