Markus Scherer
Room: | HC 03 05 | |
Address: | Favoritenstraße 9 | |
Homepage: | www.logic.at/staffpages/scherer | |
Available: | by appointment | |
Mail: | markus.scherer@tuwien.ac.at | |
Function: | University Assistant (PreDoc) |
Research Interests
SAT Solvers, Satisfiability, Constraint Satisfaction
