conf.researchr.org / Mikoláš Janota
![Mikoláš Janota](https://conf.researchr.org/getProfileImage/mikolasjanota/18bd12b5-778e-4f93-aa1a-9954f30de7e3/small.jpg?1711521077000)
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