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

RAFAEL MUÑOZ SALINASRAFAEL MEDINA CARNICERMANUEL JESÚS MARÍN JIMÉNEZ2026-01-292026-01-29201410.1007/s10489-014-0560-y2-s2.0-84918832530https://www.scopus.com/inward/record.uri?eid=2-s2.https://ucocris.uco.es/handle/123456789/25785Artificial IntelligenceConflict-based pruning of a solution space within a constructive geometric constraint solverresearch article