ℹ️
🇬🇧
Search
Search for people relevant for "polynomial time"
polynomial time
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 clause sequences of a CNF formula
2021 |
Faculty of Mathematics and Physics
publication
On the size of CNF formulas with high propagation strength
2020 |
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
Hydras: Complexity on general graphs and a subclass of trees
+1
2014 |
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
On Hierarchies over the Class of SLUR Formulae
2011 |
Faculty of Mathematics and Physics
Load more publications (36)
Loading network view...