conf.researchr.org / Mate Soos

Registered user since Fri 12 Mar 2021

Name:Mate Soos
Affiliation:Hobbyist
Personal website: https://www.msoos.org
GitHub: https://github.com/msoos
Research interests:SAT solving, Counting

Contributions