Smart Cubing for Graph Search: A Comparative Study.

Markus Kirchweger, Toms Peitl, Stefan Szeider, Hai Xia

Browse the full CP paper archive.