Roland Steiner Hermann Kaindl Gerhard Kainz Backjumping in State-Space Search. 395-402 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#SteinerKK96