![Tobias Heß](https://conf.researchr.org/getProfileImage/tobiashe/66a70a65-4546-4a28-8716-a24781cf4b51/small.jpg?1715091392000)
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
ICSE 2024-profile
View general profile
View general profile