CitedEvidenceResearch APIs

Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

article · 2000

On the relations between SAT and CSP enumerative algorithms

3 citationsDOI: https://doi.org/10.1016/s0166-218x(99)00205-x
On the relations between SAT and CSP enumerative algorithms