Results 1 to 20 of 192
Sort by:

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

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

  • BWA
  • Referenced in 45 articles [sw34374]
  • genome. It consists of three algorithms: BWA-backtrack, BWA-SW and BWA-MEM. The first ... also has better performance than BWA-backtrack for 70-100bp Illumina reads...

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

  • QuBE++
  • Referenced in 28 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...

  • PBS
  • Referenced in 38 articles [sw04622]
  • conflict diagnosis, Random restarts and backtracking...

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

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

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

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

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

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

  • Eff
  • Referenced in 18 articles [sw22721]
  • include state, transactions, non-determinism, stream redirection, backtracking, delimited continuations, and many others. Because...

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

  • semprop
  • Referenced in 17 articles [sw28383]
  • paper, so-called learning techniques like intelligent backtracking and caching of lemmas which proved useful...

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

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

  • versat
  • Referenced in 9 articles [sw08417]
  • watched literals, optimized conflict analysis, non-chronological backtracking, and decision heuristics. Unlike previous related work...

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

  • XASP
  • Referenced in 5 articles [sw13876]
  • removed from the store upon backtracking, unlike constraints in CLP. The XNMR interpreter provides ... sent to SModels for evaluation. In backtracking through answers for Q, the user backtracks...