Dynamic Distributed BackJumping
2005 ◽
pp. 71-85
◽