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

Guillaume Escamocher, Mohamed Siala 0002, Barry O'Sullivan. From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP. In Willem Jan van Hoeve, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings. Volume 10848 of Lecture Notes in Computer Science, pages 198-214, Springer, 2018. [doi]

Authors

Guillaume Escamocher

This author has not been identified. Look up 'Guillaume Escamocher' in Google

Mohamed Siala 0002

This author has not been identified. Look up 'Mohamed Siala 0002' in Google

Barry O'Sullivan

This author has not been identified. Look up 'Barry O'Sullivan' in Google