• SNLSDP

  • Referenced in 37 articles [sw05127]
  • gradient descent method with backtracking line search to solve the smooth unconstrained problem (2). This...
  • GeoSteiner

  • Referenced in 21 articles [sw04320]
  • Salowe-Warme algorithm. It used backtrack search to concatenate rectilinear FSTs. In 1998, Warme...
  • ToOLS

  • Referenced in 4 articles [sw21244]
  • based search scheme which defines a complete search tree, a set of conditions for visiting ... partial, i.e. non systematic backtracking, search methods and also, a specific class of hybrid local/global...
  • MILES

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

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

  • Referenced in 7 articles [sw30992]
  • complete DisCSP algorithms: asynchronous backtracking (ABT) and asynchronous weak commitment search (AWC), and perform performance...
  • DPF

  • Referenced in 3 articles [sw12853]
  • model checker: stateful vs. stateless search, state storage and backtracking strategies, and dynamic partial-order...
  • I-SATCHMO

  • Referenced in 6 articles [sw06622]
  • redundant search space for SATCHMO’s model generation approach by means of intelligent backtracking. During ... retracted from the database on backtracking, and therefore the remaining splitting over the clause ... this way, much of the redundant search space can be eliminated. Our method is simple...
  • RealPlan

  • Referenced in 9 articles [sw01619]
  • more sophisticated “multi-module dependency directed backtracking” approach is used where the failure explanation ... serves as a nogood to direct planner search. RealPlan not only preserves both the correctness...
  • CBack

  • Referenced in 4 articles [sw23657]
  • backtrack programming in the programming language C. In addition to the usual depth-first search...
  • JCOL

  • Referenced in 1 article [sw33205]
  • Greedy and Local Search. Also includes an implementation of the backtracking graph coloring algorithm...
  • semprop

  • Referenced in 16 articles [sw28383]
  • paper, so-called learning techniques like intelligent backtracking and caching of lemmas which proved useful ... illustrated by a comparison of the search spaces on pathological examples. We also describe...
  • RE2

  • Referenced in 3 articles [sw10266]
  • Python. It is a C++ library. Backtracking engines are typically full of features and convenient ... automata theory to guarantee that regular expression searches run in time linear in the size...
  • Algorithm 632

  • Referenced in 3 articles [sw23775]
  • problem through a particular depth-first tree-search technique making use of a lower bound ... execution after a specified number of iterations (backtrackings), getting the best solution currently found...
  • fzn2smt

  • Referenced in 4 articles [sw13501]
  • technology such as non-chronological backtracking, learning and restarts, which seem to be rarely exploited ... current stage of development. Search annotations are ignored, as they do not make sense...
  • SlideSort

  • Referenced in 1 article [sw28786]
  • common k-mers to narrow down the search. Compared to existing methods based on single ... edit distance calculations. In comparison to backtracking methods such as BWA, our method is much...
  • Concrete

  • Referenced in 1 article [sw34782]
  • which solves CSP instances using depth-first search and AC or weaker variants for propagation ... persistent data structures (mainly sparse sets) or backtrack-stable data (watched literals or residues...
  • cdd

  • Referenced in 109 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • c-sat

  • Referenced in 8 articles [sw00168]
  • Parallelizing modern SAT solvers for clusters such as...