Conflict-based pruning of a solution space within a constructive geometric constraint solver

Enrique Yeguas, Manuel J. Marín-Jiménez, Rafael Muñoz-Salinas, Rafael Medina Carnicer. Conflict-based pruning of a solution space within a constructive geometric constraint solver. Appl. Intell., 41(3):897-922, 2014. [doi]

Abstract

Abstract is missing.