• SATIRE

  • Referenced in 38 articles [sw04648]
  • even higher performance: a facility for incrementally solving sets of related problems, and the ability...
  • Clingo

  • Referenced in 66 articles [sw09893]
  • clasp can offer individually - e.g., incremental grounding and solving. Clingo comes with its own version...
  • Gringo

  • Referenced in 98 articles [sw04630]
  • clingo by an incremental mode that incorporates both grounding and solving. For one, this document...
  • Coprocessor

  • Referenced in 14 articles [sw16739]
  • enables to apply simplifications also for incremental SAT solving. Experiments show that Coprocessor 2.0 performs...
  • PBS

  • Referenced in 38 articles [sw04622]
  • used to solve decision (Yes/No) and optimization (Max/Min) problems. Includes incremental features. PBS options include...
  • plasp

  • Referenced in 7 articles [sw07080]
  • harness ASP solvers providing incremental solving mechanisms. Finally, the ASP community gains access...
  • Scarab

  • Referenced in 3 articles [sw07397]
  • provides a simple way to realize incremental solving, solution enumeration, and dynamic addition and/or removal...
  • FeatureC++

  • Referenced in 5 articles [sw24978]
  • generic programming. Furthermore, FeatureC++ solves several problems regarding incremental software development by adopting AOP concepts ... Starting our considerations on solving these problems, we give a summary of drawbacks and weaknesses ... incremental refinements. Specifically, we outline five key problems and present three approaches to solve them...
  • Cassowary

  • Referenced in 11 articles [sw36189]
  • Cassowary linear arithmetic constraint solving algorithm. Linear equality and inequality constraints arise naturally in specifying ... Cassowary---an incremental algorithm based on the dual simplex method, which can solve such systems...
  • IPSep-CoLa

  • Referenced in 9 articles [sw09789]
  • give an incremental algorithm based on gradient projection for efficiently solving this problem. The algorithm...
  • SALT

  • Referenced in 7 articles [sw36120]
  • propose-and-revise problem-solving strategy. The SALT-assumed method incrementally constructs an initial design ... constraint violations in the proposal. This problem-solving strategy provides the basis for SALT...
  • PyMiniSolvers

  • Referenced in 1 article [sw25462]
  • reducing overhead and allowing for efficient incremental solving. Its interfaces closely match the interfaces...
  • Jellyfish

  • Referenced in 28 articles [sw12431]
  • This paper develops Jellyfish, an algorithm for solving data-processing problems with matrix-valued decision ... gamma _2$-norm. Jellyfish implements a projected incremental gradient method with a biased, random ordering ... increments. This biased ordering allows for a parallel implementation that admits a speed-up nearly ... predictions in approximately 4 h, while Jellyfish solves the same problem in under...
  • FaSa

  • Referenced in 2 articles [sw01756]
  • Lagrange multiplier method to solve placement problems. And an incremental LU factorization method is used...
  • InKreSAT

  • Referenced in 5 articles [sw23448]
  • InKreSAT: modal reasoning via incremental reduction to SAT. InKreSAT is a prover for the modal ... then solved using a SAT solver. InKreSAT improves on previous work by proceeding incrementally...
  • TMG

  • Referenced in 10 articles [sw04180]
  • tdms from text collections and for the incremental modification of these tdms by means ... written entirely in MATLAB, a popular problem-solving environment that is powerful in computational linear...
  • intuit

  • Referenced in 4 articles [sw33643]
  • solving problems in intuitionistic propositional logic, which involves the use of an incremental SAT-solver...
  • PLSAER2D

  • Referenced in 1 article [sw22651]
  • associative rate-independent plasticity problems solved by employing the incremental displacement conforming finite element method...
  • cc(FD)

  • Referenced in 17 articles [sw21237]
  • algorithms based on AC-5 [40], and incremental implementation of the combinators. Results on numerous ... more than 20 years and finally solved...
  • GAssist

  • Referenced in 7 articles [sw08533]
  • tackle data mining problems: A windowing system Incremental Learning with Alternative Strata (ILAS) to improve ... deal with problems that can be solved using very compact rule sets...