Co-Certificate Learning with SAT Modulo Symmetries.

Markus Kirchweger, Toms Peitl, Stefan Szeider

Browse the full IJCAI paper archive.