Registered user since Sat 23 Apr 2022
Name:Tobias Heß
Country:Germany
Affiliation:University of Ulm
Personal website: https://www.uni-ulm.de/in/sp/team/tobias-hess/
X (Twitter): https://x.com/h3ssto
GitHub: https://github.com/h3ssto
Research interests:Binary Decision Diagrams, SAT Solving, Graph Isomorphisms
Contributions
Using general profile