Philippe Jegou, Hanan Kanso, Cyril Terrioux. Improving Exact Solution Counting for Decomposition Methods.
2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2016, San Jose, France. pp.327-334,
⟨10.1109/ICTAI.2016.0057⟩.
⟨hal-03520604⟩