ℹ️
🇬🇧
Search
Search for people relevant for "definability"
definability
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
Unique key Horn functions
2022 |
Faculty of Mathematics and Physics
publication
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
2017 |
Faculty of Mathematics and Physics
publication
Generating Models of a Matched Formula With a Polynomial Delay
2016 |
Faculty of Mathematics and Physics
publication
Generating models of a matched formula with a polynomial delay
2016 |
Faculty of Mathematics and Physics
publication
A decomposition method for CNF minimality proofs
2013 |
Faculty of Mathematics and Physics
publication
Properties of SLUR Formulae
2012 |
Faculty of Mathematics and Physics
publication
Boolean functions with long prime implicants
+1
2012 |
Faculty of Mathematics and Physics
publication
Analysing DNA Microarray Data Using Boolean Techniques
2011 |
Faculty of Mathematics and Physics
publication
A subclass of Horn CNFs optimally compressible in polynomial time
2010 |
Faculty of Mathematics and Physics
publication
Renamable Interval Extensions of Partially Defined Boolean Functions
2007 |
Faculty of Mathematics and Physics
Load more publications (36)
Loading network view...