• Clingo

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

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

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

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

  • Referenced in 15 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...
  • Paracooba

  • Referenced in 10 articles [sw41083]
  • called cubes, which are then solved in parallel by incremental CDCL solvers. In this tool ... relied on manual orchestration of the solving process. Our approach uses one master per problem...
  • 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...
  • Jellyfish

  • Referenced in 29 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...
  • PyMiniSolvers

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

  • Referenced in 1 article [sw41585]
  • tool’s help (see below). Incremental solving is supported. The tool uses mathsat to parse...
  • MergeSat

  • Referenced in 1 article [sw41637]
  • multiple years relevant features like incremental solving have not been supported by winning solvers anymore...
  • FaSa

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

  • Referenced in 6 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 9 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...