Bliek, Ch.2006-12-132006-12-132006-12-131998https://infoscience.epfl.ch/handle/20.500.14299/238190Generalizing Dynamic and Partial Order Backtrackingtext::conference output::conference proceedings::conference paper