Exploiting Strict Constraints in the Cylindrical Algebraic Covering.

Philipp Bär Jasper Nalbach Erika Ábrahám Christopher W. Brown

Published in: CoRR (2023)

Keyphrases

constraint satisfaction
multiple constraints
constraint programming
bayesian networks
constraint satisfaction problems
data mining
decision making
data structure
higher order
description logics
constrained optimization