ℹ️
🇬🇧
Search
Search for people relevant for "SAT Encodings"
SAT Encodings
Person
Class
Person
Publication
Programmes
Export current view
person
doc. RNDr. Pavel Surynek Ph.D.
Faculty of Mathematics and Physics
person
prof. RNDr. Roman Barták Ph.D.
Faculty of Mathematics and Physics, Faculty of Education
