Publication:2999220

DOI10.3233/978-1-60750-606-5-861zbMath1211.68384MaRDI QIDQ2999220

Toby Walsh, George Katsirelos

Publication date: 11 May 2011

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

Parameterized Complexity Results in Symmetry Breaking

Uses Software

• CSPLib