Frédéric Lardeux, Éric Monfroy. Optimized models and symmetry breaking for the NFA inference problem. In 33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021. pages 396-403, IEEE, 2021. [doi]
Abstract is missing.