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 Heule with a tentative wikidata QID: Q105954357
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
Marijn Heule with a tentative wikidata QID: Q105954357