Breaking Symmetries in Quantified Graph Search: A Comparative Study.

Mikols Janota, Markus Kirchweger, Toms Peitl, Stefan Szeider

Browse the full AAAI paper archive.