C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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