Skip to Main content Skip to Navigation
Conference papers

Improving Exact Solution Counting for Decomposition Methods

Philippe Jegou 1, 2 Hanan Kanso 1, 2 Cyril Terrioux 1, 2 
1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 COALA - COntraintes, ALgorithmes et Applications
LIS - Laboratoire d'Informatique et Systèmes
Document type :
Conference papers
Complete list of metadata
https://hal-amu.archives-ouvertes.fr/hal-03520604
Contributor : Cyril Terrioux Connect in order to contact the contributor
Submitted on : Tuesday, January 11, 2022 - 10:24:40 AM
Last modification on : Saturday, June 25, 2022 - 7:49:41 PM

Identifiers

Collections

UNIV-TLN | CNRS | UNIV-AMU | LIS-LAB | UNIV-HESAM | ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES | INCIAM

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

8