Petr Illner

According to our database, Petr Illner authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

New Compilation Languages Based on Restricted Weak Decomposability.

Petr Illner

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

A Compiler for Weak Decomposable Negation Normal Form.

Petr Illner, Petr Kucera

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024