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

GeoSteiner
 Referenced in 22 articles
[sw04320]
 SaloweWarme algorithm. It used backtrack search to concatenate rectilinear FSTs. In 1998, Warme...

SAT Solver Verification
 Referenced in 5 articles
[sw28831]
 classical DPLL procedure (using only a backtracksearch with unit propagation), a very general solver...

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

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...

Eureka
 Referenced in 2 articles
[sw09483]
 Intel. Eureka is based upon backtrack search DPLL algorithm, enhanced by failuredriven assertion loop...

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

GraphBacktracking
 Referenced in 1 article
[sw39581]
 labelled directed graphs to organise our backtrack search algorithms, which allows for a richer representation...

DPF
 Referenced in 3 articles
[sw12853]
 model checker: stateful vs. stateless search, state storage and backtracking strategies, and dynamic partialorder...

ISATCHMO
 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 “multimodule 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 depthfirst search...

semprop
 Referenced in 18 articles
[sw28383]
 paper, socalled 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...

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

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 depthfirst treesearch 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 nonchronological 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 kmers 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 depthfirst search and AC or weaker variants for propagation ... persistent data structures (mainly sparse sets) or backtrackstable data (watched literals or residues...

cdd
 Referenced in 113 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...