Hard SAT and CSP instances with expander graphs
Actes:
10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008
Any de publicació: 2008
Tipus: Aportació congrés