On the relations between SAT and CSP enumerative algorithms
Abstract
no abstract
Journal Articles
Discrete Applied Mathematics
Year : 2000
William Domingues Vinhas : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01479601
Submitted on : Tuesday, February 28, 2017-8:40:06 PM
Last modification on : Tuesday, April 4, 2023-5:00:58 AM
Dates and versions
Identifiers
- HAL Id : hal-01479601 , version 1
Cite
Genisson R., Philippe Jégou. On the relations between SAT and CSP enumerative algorithms. Discrete Applied Mathematics, 2000, 107, pp.27-40. ⟨hal-01479601⟩
76
View
0
Download