Petr Kucera. Learning a Propagation Complete Formula. In Pierre Schaus, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings. Volume 13292 of Lecture Notes in Computer Science, pages 214-231, Springer, 2022. [doi]
Abstract is missing.