• ELAN

  • Referenced in 85 articles [sw02179]
  • into account through choice operations and a backtracking capability. One of the main originality...
  • NITSOL

  • Referenced in 72 articles [sw00623]
  • inexact Newton method globalized by backtracking. Trial steps are obtained using one of several Krylov...
  • Choco

  • Referenced in 52 articles [sw06254]
  • event-based propagation mechanism with backtrackable structures...
  • PBS

  • Referenced in 34 articles [sw04622]
  • conflict diagnosis, Random restarts and backtracking...
  • QuBE++

  • Referenced in 23 articles [sw00766]
  • literals detection. QuBE++ also features non-chronological backtracking and a branching heuristic that leverages ... information gathered during the backtracking phase. Owing to such techniques and to a careful implementation...
  • Pueblo

  • Referenced in 26 articles [sw00743]
  • overhead and use both to determine the backtrack level. Several techniques for handling the original...
  • SNLSDP

  • Referenced in 24 articles [sw05127]
  • point for a gradient descent method with backtracking line search to solve the smooth unconstrained...
  • GeoSteiner

  • Referenced in 14 articles [sw04320]
  • published the Salowe-Warme algorithm. It used backtrack search to concatenate rectilinear FSTs...
  • NiVER

  • Referenced in 14 articles [sw06958]
  • exponential space complexity. To tackle that, the backtracking-based DPLL procedure [{it M. Davis...
  • libexact

  • Referenced in 11 articles [sw17197]
  • exact covering problems. It implements essentially the backtrack algorithm and the dancing links data structure...
  • RealPlan

  • Referenced in 9 articles [sw01619]
  • more sophisticated “multi-module dependency directed backtracking” approach is used where the failure explanation...
  • I-SATCHMO

  • Referenced in 6 articles [sw06622]
  • model generation approach by means of intelligent backtracking. During the reasoning, we mark an asserted ... retracted from the database on backtracking, and therefore the remaining splitting over the clause...
  • SOCRATES

  • Referenced in 8 articles [sw10073]
  • considerable reduction of the number of backtrackings and an earlier recognition of conflicts and redundancies...
  • leanCoP

  • Referenced in 7 articles [sw09756]
  • regularity, lemmata, and a technique for restricting backtracking. It also provides a definitional translation into...
  • TXL

  • Referenced in 7 articles [sw11319]
  • control over the interpretation, application, order and backtracking of both parsing and rewriting rules. Using...
  • Banshee

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

  • Referenced in 5 articles [sw08417]
  • watched literals, optimized conflict analysis, non-chronological backtracking, and decision heuristics. Unlike previous related work...
  • 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...
  • GrADSAT

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

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