ℹ️
🇬🇧
Search
Search for publications relevant for "SAT solver"
SAT solver
Publication
Class
Person
Publication
Programmes
Introduction to Theoretical Computer Science
Publication at Faculty of Mathematics and Physics, Central Library of Charles University
|
1998
2 people
People
person
RNDr. Alena Koubková CSc.
Faculty of Mathematics and Physics
person
Jan Pavelka
Person without faculty affiliation
