Funder
Grantová Agentura České Republiky
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference9 articles.
1. Le Berre, D., Marquis, P., Mengel, S., Wallon, R.: Pseudo-Boolean constraints from a knowledge representation perspective. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence, pp. 1891–1897. IJCAI, https://www.ijcai.org/ (2018)
2. Čepek, O., Chromý, M.: Properties of switch-list representations of boolean functions. J. Artif. Intel. Res. 69, 451–479 (2020)
3. Čepek, O., Chromý, M.: Switch-List Representations in a Knowledge Compilation Map. In: Proceedings of the 29th International Joint Conference on Artificial Intelligence, pp. 1651–1657. IJCAI, https://www.ijcai.org/ (2020)
4. Čepek, O., Hušek, R.: Recognition of tractable DNFs representable by a constant number of intervals. Discret. Optim. 23, 1–19 (2017)
5. Darwiche, A., Marquis, P.: A Knowledge Compilation Map. J. Artif. Intel. Res. 17, 229–264 (2002)