Manuel Kauers
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
The following are their known coauthors:
Marijn J. H. Heule with a tentative wikidata QID: Q130866228
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
Marijn J. H. Heule with a tentative wikidata QID: Q130866228