Propagating systems of dense linear integer constraints.

Thibaut Feydy Peter J. Stuckey

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

Keyphrases

complex systems
building blocks
linear systems
linear constraints
constraint programming
real time
databases
search algorithm
expert systems
computer systems
constraint satisfaction
integrity constraints
continuous variables
integer variables