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

ISSN
0924669X
Date Issued
2014
Author(s)
DOI
10.1007/s10489-014-0560-y
Subjects

Artificial Intelligen...