ℹ️
🇬🇧
Search
Search for people relevant for "boolean"
boolean
Person
Class
Person
Publication
Programmes
RNDr. Václav Vlček Ph.D.
External academic staff at Faculty of Mathematics and Physics
5 publications
Publications
publication
Complexity Issues Related to Propagation Completeness
2013 |
Faculty of Mathematics and Physics
publication
Properties of SLUR Formulae
2012 |
Faculty of Mathematics and Physics
publication
On Hierarchies over the Class of SLUR Formulae
2011 |
Faculty of Mathematics and Physics
publication
Classes of Boolean Formulae with Effectively Solvable SAT
2010 |
Faculty of Mathematics and Physics
publication
On Hierarchies over the SLUR Class
2012 |
Faculty of Mathematics and Physics
Loading network view...
