Publications

International conferences

2026 Sebastian Hagedorn Gaete, Martín Muñoz, Cristián Riveros, Rodrigo Toro Icarte, Active Learning of Symbolic Automata over Rational Numbers in 40th Annual AAAI Conference on Artificial Intelligence,vol. 40, pp. 19091-19098, 2026.

2026 Constraints Florent Capelli, Yoojung Choi, Stefan Mengel, Martín Muñoz, Guy van den Broeck, A Canonical Generalization of OBDD in 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026),Schloss Dagstuhl – Leibniz-Zentrum für Informatik, vol. 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026), 2026.