Kees Kwekkeboom Alain Noels Delft University of Technology The Netherlands Delft University / Eden Christiaan Hartman Marijn J. H. Heule∗ Delft University of Technology The Netherlands The University of Texas / /
IndustryTerm
search process / systematic search / search procedure / search using incremental satisfiability solving / systematical search / search problem / search space / /
Organization
Eden Christiaan Hartman Marijn J. H. Heule∗ Delft University / University of Texas at Austin / MIT / Delft University of Technology / Delft University of Technology The Netherlands Delft University / /
Person
John Conway / Barbara Smith / Achim Flammenkamp / Kees Kwekkeboom Alain Noels / Christiaan Hartman Marijn / /
Position
existential player / General / universal player / player / /