A global constraint for over-approximation of real-time streams.

Anicet Bart Charlotte Truchet Éric Monfroy

Published in: Constraints An Int. J. (2017)

Keyphrases

real time
global constraints
constraint programming
data streams
constraint satisfaction problems
boolean constraints
arc consistency
precedence constraints
probabilistic model
approximation algorithms
integer linear programming
generalized arc consistency
weighted constraint satisfaction