Skip to Main content Skip to Navigation
Conference papers

Stubbornness : a possible enhancement for backjumping and nogood recording

Abstract : The Conflict directed Backjumping (CBJ) algorithm attempts to reduce the number of nodes visited within the constraint satisfaction problem by analyzing failures. The Nogood Recording (NR*) algorihms incorporate, during the search, part of the results of these analyzes as constraints in the CSP solved itself. In both cases, failures are the basic information used to increase efficiency. It is shown how artificially augmenting the number of failures may lead to notable improvements in efficiency.
Document type :
Conference papers
Complete list of metadata
Contributor : Migration ProdInra Connect in order to contact the contributor
Submitted on : Thursday, June 4, 2020 - 2:10:00 PM
Last modification on : Friday, March 18, 2022 - 3:32:48 AM


  • HAL Id : hal-02774709, version 1
  • PRODINRA : 135973



Thomas Schiex, G. Verfaillie. Stubbornness : a possible enhancement for backjumping and nogood recording. 11. European Conference on Artificial Intelligence, 1994, Toulouse, France. ⟨hal-02774709⟩



Record views