Login / Signup
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper).
Akshar S. Nair
James H. Davenport
Gregory Sankaran
Published in:
SC-Square@SIAM AG (2021)
Keyphrases
</>
theorem proving
constrained optimization
constraint satisfaction
database
genetic algorithm
decision trees
data model
probabilistic model