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

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

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

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 109 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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