Generating hard SAT/CSP instances using expander graphs
Loading...
Date
2008
Other authors
Impact
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
DOI
Journal or Serie
Proceedings of the twenty-third National Conference on Artificial Intelligence, 2008, p. 1442-1443