ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "pairwise"
pairwise
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Petr Kučera Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta
3 předměty
46 publikací
Předměty
class
Rozhodovací procedury a SAT/SMT řešiče
NAIL094 |
Matematicko-fyzikální fakulta
class
Rozhodovací procedury a verifikace
NAIX094 |
Matematicko-fyzikální fakulta
class
Algoritmy pro reprezentaci znalostí
NTIN099 |
Matematicko-fyzikální fakulta
Publikace
publication
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
2019 |
Matematicko-fyzikální fakulta
publication
Boolean functions with a simple certificate for CNF complexity
2012 |
Matematicko-fyzikální fakulta
publication
Disjunktní esenciální množiny implikantů pro CQ Hornovské funkce
2011 |
Matematicko-fyzikální fakulta
publication
Disjunktní esenciální množiny implikátů CQ Hornovské funkce.
2009 |
Matematicko-fyzikální fakulta
publication
APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*
2022 |
Matematicko-fyzikální fakulta
publication
Unique key Horn functions
2022 |
Matematicko-fyzikální fakulta
publication
Learning a Propagation Complete Formula
2022 |
Matematicko-fyzikální fakulta
publication
Propagation complete encodings of smooth DNNF theories
2022 |
Matematicko-fyzikální fakulta
publication
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings
2021 |
Matematicko-fyzikální fakulta
publication
Generating clause sequences of a CNF formula
2021 |
Matematicko-fyzikální fakulta
Načíst další publikace (36)
Loading network view...