zbMATH — the first resource for mathematics

Heule, Marijn J. H.

Compute Distance To:
Author ID: heule.marijn-j-h
Published as: Heule, M. J. H.; Heule, Marijn; Heule, Marijn J. H.
Documents Indexed: 48 Publications since 2005, including 2 Books

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription