Skip to content

Edge Matching Puzzles as Hard SAT/CSP Benchmarks.

Carlos Anstegui, Ramn Bjar, Csar Fernndez, Carles Mateu

VenueACP
Year2008
ProceedingsCP

Browse the full CP paper archive.