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]

Authors

Enrique Yeguas

This author has not been identified. Look up 'Enrique Yeguas' in Google

Manuel J. Marín-Jiménez

This author has not been identified. Look up 'Manuel J. Marín-Jiménez' in Google

Rafael Muñoz-Salinas

This author has not been identified. Look up 'Rafael Muñoz-Salinas' in Google

Rafael Medina Carnicer

This author has not been identified. Look up 'Rafael Medina Carnicer' in Google