• CBack

  • Referenced in 4 articles [sw23657]
  • CBack: A Simple Tool for Backtrack Programming in C. Backtrack programming is such a powerful ... artificial intelligence, have built-in facilities for backtrack programming. CBack is a simple, but general ... tool for backtrack programming in the programming language C. In addition to the usual depth...
  • SensorDCSP

  • Referenced in 7 articles [sw30992]
  • consider two complete DisCSP algorithms: asynchronous backtracking (ABT) and asynchronous weak commitment search...
  • Banshee

  • Referenced in 6 articles [sw10661]
  • constraint resolution engines, incremental analysis based on backtracking, and fast persistence. These features make Banshee...
  • MILES

  • Referenced in 6 articles [sw21982]
  • generalized Newton method with a backtracking line search. This code is based on an algorithm...
  • EXPANDER

  • Referenced in 6 articles [sw22715]
  • control over the proof process. He may backtrack the sequence, interactively modify the underlying specification...
  • GrADSAT

  • Referenced in 5 articles [sw07282]
  • resources. The GrADSAT parallel algorithm uses intelligent backtracking, sharing of learned clauses and clause reduction...
  • neuralnet

  • Referenced in 5 articles [sw11052]
  • backpropagation with (Riedmiller, 1994) or without weight backtracking (Riedmiller and Braun, 1993) or the modified...
  • RE2

  • Referenced in 3 articles [sw10266]
  • fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE ... Python. It is a C++ library. Backtracking engines are typically full of features and convenient...
  • fzn2smt

  • Referenced in 4 articles [sw13501]
  • technology such as non-chronological backtracking, learning and restarts, which seem to be rarely exploited...
  • ToOLS

  • Referenced in 4 articles [sw21244]
  • most of the partial, i.e. non systematic backtracking, search methods and also, a specific class...
  • SYGRAF

  • Referenced in 4 articles [sw21247]
  • free of nonlogical features like backtracking. As an extension to the common approach to deductive...
  • CLab

  • Referenced in 2 articles [sw31191]
  • CLab: A C++ library for fast backtrack-free interactive product configuration. Product configuration ... open source C++ library for building fast backtrack-free interactive product configurators. It contains functions ... interactive product configuration process complete and backtrack-free. It allows the user to choose freely...
  • ARGENT

  • Referenced in 3 articles [sw03148]
  • described. The generation procedure is based on backtrack traversal of the generation tree, where each...
  • DPF

  • Referenced in 3 articles [sw12853]
  • stateful vs. stateless search, state storage and backtracking strategies, and dynamic partial-order reduction...
  • Algorithm 632

  • Referenced in 3 articles [sw23775]
  • execution after a specified number of iterations (backtrackings), getting the best solution currently found...
  • IntHistGC

  • Referenced in 3 articles [sw24227]
  • lies in its use of dependency directed backtracking for global caching. We analyse the performance...
  • Eureka

  • Referenced in 2 articles [sw09483]
  • flows at Intel. Eureka is based upon backtrack search DPLL algorithm, enhanced by failure-driven...
  • RNA2Dfold

  • Referenced in 2 articles [sw11716]
  • free energy is computed. Additionally, a stochastic backtracking routine allows to produce samples of representative...
  • just-continuity

  • Referenced in 2 articles [sw34472]
  • performed in finite-dimensional spaces: a backtracking linesearch yields a convergent algorithm for operators that...