Towards Coq Formalisation of {log} Set Constraints Resolution.

Catherine Dubois Sulyvan Weppe

Published in: SETS@ABZ (2018)

Keyphrases

small number
machine learning
artificial intelligence
lower bound
linear constraints
constraint sets
database
real time
data sets
image processing
knowledge based systems
finite number
global constraints