Backjumping

Known as: Conflict-based backjumping, Graph-based backjumping 
In backtracking algorithms, backjumping is a technique that reduces search space, therefore increasing efficiency. While backtracking always goes up… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Disjunctive logic programming (DLP) is a powerful formalism for knowledge representation and reasoning. The high expressiveness… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
2007
2007
Constraint Optimization problems are commonly solved using a Branch and Bound algorithm enhanced by consistency maintenance… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2006
2006
In this work we present a backjumping technique for Disjunct ive Logic Programming (DLP) under the Answer Set Semantics. It… (More)
  • figure 1
  • figure 4
  • figure 5
  • table 1
  • table 2
Is this relevant?
2004
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an… (More)
  • figure 4
  • table 1
Is this relevant?
2001
2001
In recent years, many improvements to backtracking algorithms for solving constraint satisfaction problems have been proposed… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
This paper is concerned with various schemes for enhancing the performance of modal tableau procedures. It discusses techniques… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • table 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Sabin and Freuder have demonstrated that increased constraint propagation can lead to a reduction in overall search eeort. They… (More)
Is this relevant?
1992
1992
Gaschnig's backjumping algorithm has become one of the standard methods for constraint satisfaction, performing dependency… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Researchers m the areas o f constramt sattsfactton problems, logtc programmmg, and truth mamtenance systems have suggested… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?