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

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

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