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]
@article{YeguasMMC14,
title = {Conflict-based pruning of a solution space within a constructive geometric constraint solver},
author = {Enrique Yeguas and Manuel J. Marín-Jiménez and Rafael Muñoz-Salinas and Rafael Medina Carnicer},
year = {2014},
doi = {10.1007/s10489-014-0560-y},
url = {http://dx.doi.org/10.1007/s10489-014-0560-y},
researchr = {https://researchr.org/publication/YeguasMMC14},
cites = {0},
citedby = {0},
journal = {Appl. Intell.},
volume = {41},
number = {3},
pages = {897-922},
}