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
ICSE 2021-profile
View general profile
View general profile