ℹ️
🇬🇧
Search
Search for people relevant for "Extensive"
Extensive
Person
Class
Person
Publication
Programmes
RNDr. Petr Kučera Ph.D.
Academic staff at Faculty of Mathematics and Physics
3 classes
46 publications
Classes
class
Decision procedures and SAT/SMT solvers
NAIL094 |
Faculty of Mathematics and Physics
class
Decision Procedures and Verification
NAIX094 |
Faculty of Mathematics and Physics
class
Algorithms for knowledge representation
NTIN099 |
Faculty of Mathematics and Physics
Publications
publication
Analysing DNA Microarray Data Using Boolean Techniques
2011 |
Faculty of Mathematics and Physics
publication
Renamable Interval Extensions of Partially Defined Boolean Functions
2007 |
Faculty of Mathematics and Physics
publication
Best-fit interval extensions of partially defined Boolean functions
2007 |
Faculty of Mathematics and Physics
publication
Interval Extensions of Partially Defined Boolean Functions
2006 |
Faculty of Mathematics and Physics
publication
k-DNF and Acyclic Extensions of pdBfs
+1
2005 |
Faculty of Mathematics and Physics
publication
APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*
2022 |
Faculty of Mathematics and Physics
publication
Unique key Horn functions
2022 |
Faculty of Mathematics and Physics
publication
Learning a Propagation Complete Formula
2022 |
Faculty of Mathematics and Physics
publication
Propagation complete encodings of smooth DNNF theories
2022 |
Faculty of Mathematics and Physics
publication
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings
2021 |
Faculty of Mathematics and Physics
Load more publications (36)
Loading network view...