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

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

Gringo
 Referenced in 97 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 ... Cassowaryan incremental algorithm based on the dual simplex method, which can solve such systems...

IPSepCoLa
 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]
 proposeandrevise problemsolving strategy. The SALTassumed method incrementally constructs an initial design ... constraint violations in the proposal. This problemsolving 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 dataprocessing problems with matrixvalued 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 speedup 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 problemsolving 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 SATsolver...

PLSAER2D
 Referenced in 1 article
[sw22651]
 associative rateindependent plasticity problems solved by employing the incremental displacement conforming finite element method...

cc(FD)
 Referenced in 17 articles
[sw21237]
 algorithms based on AC5 [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...