Edge matching puzzles as hard SAT/CSP benchmarks

Loading...
Thumbnail Image
Date
2008
Authors
Ansótegui Gil, Carlos JoséAnsótegui Gil, Carlos José - ORCID ID
Béjar Torres, RamónBéjar Torres, Ramón - ORCID ID
Fernàndez Camon, CésarFernàndez Camon, César - ORCID ID
Mateu Piñol, CarlesMateu Piñol, Carles - ORCID ID
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Lecture Notes in Computer Science, 2008, vol. 5202, p. 560-565