A backjumping technique for Disjunctive Logic Programming

Francesco Ricca, Wolfgang Faber, Nicola Leone. A backjumping technique for Disjunctive Logic Programming. AI Commun., 19(2):155-172, 2006. [doi]

Abstract

Abstract is missing.