From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP.

Guillaume Escamocher, Mohamed Siala, Barry O'Sullivan

Browse the full CPAIOR paper archive.