Petr Kučera
4 papers
· 2017–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(7)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(8)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Research topics
Keywords
knowledge compilation
(2)
boolean function
(1)
binary decision diagram
(1)
parameterized complexity
(1)
cnf formula
(1)
boolean circuit
(1)
model counting
(1)
polynomial hierarchy
(1)
boolean formula
(1)
circuit compilation
(1)
decision procedure
(1)
conjunctive normal form
(1)
monotone circuit
(1)
backdoor decomposable monotone circuit
(1)
decomposable circuit
(1)
propagation complete encoding
(1)
polynomial equivalence
(1)
matched cnf
(1)
clause minimization
(1)
matched formula
(1)