Exploiting Strict Constraints in the Cylindrical Algebraic Covering.

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

Published in: SMT (2023)

Keyphrases

data sets
constraint satisfaction
computer vision
artificial neural networks
genetic algorithm
image processing
bayesian networks
query language
rough sets
multiple constraints