Edge matching puzzles as hard SAT/CSP benchmarks
ISSN: 0302-9743, 1611-3349
ISBN: 9783540859574
Ano de publicación: 2008
Volume: 5202 LNCS
Páxinas: 560-565
Tipo: Achega congreso
ISSN: 0302-9743, 1611-3349
ISBN: 9783540859574
Ano de publicación: 2008
Volume: 5202 LNCS
Páxinas: 560-565
Tipo: Achega congreso