Solving geometrical constraint systems using CLP based on linear constraint solver
From MaRDI portal
Publication:6560381
DOI10.1007/3-540-61732-9_63zbMath1541.68382MaRDI QIDQ6560381
Publication date: 21 June 2024
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
This page was built for publication: Solving geometrical constraint systems using CLP based on linear constraint solver