Backjumping in State-Space Search.

Roland Steiner, Hermann Kaindl, Gerhard Kainz

Browse the full ECAI paper archive.