Using CSP to Derive a Sequentially Consistent DSM System.

Cortés E. Pérez Alonso G. Román Barradas H. Ruíz

Published in: PODC (1999)

Keyphrases

constraint satisfaction problems
constraint satisfaction
np complete
globally optimal
databases
linear programming
decomposition methods
np hard
arc consistency
constraint solving