Maintaining Reversible DAC for Max-CSP.

Javier Larrosa Pedro Meseguer Thomas Schiex

Published in: Artif. Intell. (1999)

Keyphrases

max csp
constraint satisfaction
arc consistency
constraint networks
markov chain
cellular automata
optimisation problems
information systems