Petr Kučera
4 papers · 2017–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)
Papers
A Compiler for Weak Decomposable Negation Normal Form
AAAI 2024
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings
AAAI 2021
On Minimum Representations of Matched Formulas (Extended Abstract)
IJCAI 2017
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
IJCAI 2017