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 | Designing Tester and Sampler in Tandem | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile