Interrogating witnesses for geometric constraint solving

From MaRDI portal
Publication:714618

DOI10.1016/j.ic.2011.09.006zbMath1247.68309OpenAlexW2035491704MaRDI QIDQ714618

Sebti Foufou, Dominique Michelucci

Publication date: 11 October 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.09.006




Related Items (4)



Cites Work


This page was built for publication: Interrogating witnesses for geometric constraint solving