Variable Elimination in Binary CSP via Forbidden Patterns

David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny. Variable Elimination in Binary CSP via Forbidden Patterns. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 517-523, IJCAI/AAAI, 2013. [doi]

Abstract

Abstract is missing.