On the relations between SAT and CSP enumerative algorithms - Aix-Marseille Université Access content directly
Journal Articles Discrete Applied Mathematics Year : 2000

On the relations between SAT and CSP enumerative algorithms

Abstract

no abstract
No file

Dates and versions

hal-01479601 , version 1 (28-02-2017)

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⟩
77 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More