ℹ️
🇬🇧
Search
Search for publications relevant for "sizes"
sizes
Publication
Class
Person
Publication
Programmes
On the size of maximum renamable Horn sub-CNF
Publication at Faculty of Mathematics and Physics
|
2005
1 person
Abstract
On the size of maximum renamable Horn sub-CNF
Keywords
size
horn
Person
person
RNDr. Petr Kučera Ph.D.
Faculty of Mathematics and Physics
