SIGCSE Virtual 2024 (series) / Mikoláš Janota
Registered user since Tue 30 Oct 2018
Name:Mikoláš Janota
Country:Portugal
Affiliation:INESC-ID, IST, ULisboa
Personal website: http://sat.inesc-id.pt/~mikolas
Research interests:Constraint Solving, SMT
Contributions
Using general profile