SCL with Theory Constraints.

Alberto Fiori Christoph Weidenbach

Published in: CoRR (2020)

Keyphrases

constraint satisfaction
computer vision
database
information theory
constrained optimization
resource constraints
artificial intelligence
decision making
image segmentation
multi agent
data model
soft constraints
general theory
constraint sets