Illner, Petr

2 publications

AAAI 2025 New Compilation Languages Based on Restricted Weak Decomposability Petr Illner

AAAI 2024 A Compiler for Weak Decomposable Negation Normal Form Petr Illner, Petr Kucera