%0 Journal Article %1 journals/ai/Essert-VillardSD00 %A Essert-Villard, Caroline %A Schreck, Pascal %A Dufourd, Jean-Francois %D 2000 %J Artif. Intell. %K constraint geometric pt root selection solving %N 1 %P 139-159 %T Sketch-based pruning of a solution space within a formal geometric constraint solver %V 124

@article{journals/ai/Essert-VillardSD00, added-at = {2008-05-20T14:08:08.000+0200}, author = {Essert-Villard, Caroline and Schreck, Pascal and Dufourd, Jean-Fran\c{c}ois}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2d9c947d0cc7535445d8f9b643a5d99da/toni}, description = {DBLP Record 'journals/ai/Essert-VillardSD00'}, ee = {http://dx.doi.org/10.1016/S0004-3702(00)00061-8}, interhash = {b493e6d48d336be356235b80f4dbb3f8}, intrahash = {d9c947d0cc7535445d8f9b643a5d99da}, journal = {Artif. Intell.}, keywords = {constraint geometric pt root selection solving}, number = 1, pages = {139-159}, timestamp = {2008-06-05T14:36:07.000+0200}, title = {Sketch-based pruning of a solution space within a formal geometric constraint solver}, volume = 124, year = 2000 }