Proceedings Abstracts of the Twenty-Fifth International Joint Conference on Artificial Intelligence

Solving Hard Subgraph Problems in Parallel / 4014
Ciaran McCreesh

We look at problems involving finding subgraphs in larger graphs, such as the maximum clique problem, the subgraph isomorphism problem, and the maximum common subgraph problem. We investigate variable and value ordering heuristics, different inference strategies, intelligent backtracking search (backjumping), and bit- and thread-parallelism to exploit modern hardware.