Nguyen, V.Sam-Haroud, D.Faltings, B.2006-12-132006-12-132006-12-132004https://infoscience.epfl.ch/handle/20.500.14299/238435Dynamic Distributed backjumpingtext::conference output::conference proceedings::conference paper