Solution counting for CSP and SAT with large tree-width

Aurélie Favier; Philippe Jégou; Simon De Givry

Journal articles

Solution counting for CSP and SAT with large tree-width

Aurélie Favier ¹ Philippe Jégou ² Simon De Givry

1 IFSTTAR/MAST/FM2D - Formulation, Microstructure, Modélisation et Durabilité des Matériaux de Construction

2 LSIS - Laboratoire des Sciences de l'Information et des Systèmes

Abstract : no abstract

Document type :

Journal articles

Domain :

Computer Science [cs]

Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-01479554
Contributor : William Domingues Vinhas Connect in order to contact the contributor
Submitted on : Tuesday, February 28, 2017 - 8:39:07 PM
Last modification on : Monday, June 20, 2022 - 3:54:22 PM

Solution counting for CSP and SAT with large tree-width

Identifiers

Collections

Citation

Export

Metrics

85

Solution counting for CSP and SAT with large tree-width

Identifiers

Collections

Citation

Export

Share

Metrics

85