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