Lazard-style CAD and Equational Constraints.

James Harold Davenport Akshar Sajive Nair Gregory Kumar Sankaran Ali Kemal Uncu

Published in: ISSAC (2023)

Keyphrases

constraint satisfaction
genetic algorithm
knowledge representation
computer aided
constrained optimization
multiple constraints
machine learning
artificial intelligence
case study
database systems
similarity measure
theorem proving
global constraints
resource constraints