Skip to search formSkip to main contentSkip to account menu

Solver

Known as: Solver (computer science) 
A solver is a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

31 relations
AIMMSAMPLASCENDAlgebraic modeling language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Diffusion LMS Strategies for Distributed Estimation
We consider the problem of distributed estimation, where a set of nodes is required to collectively estimate some parameter of… 
Highly Cited
2009
Highly Cited
2009
HAMPI: a solver for string constraints
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint generation… 
Highly Cited
2009
Highly Cited
2009
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
Satisfiability Modulo Theories (SMT) is the problem of deciding satisfiability of a logical formula, expressed in a combination… 
Highly Cited
2008
Highly Cited
2008
Comparisons of weakly compressible and truly incompressible algorithms for the SPH mesh free particle method
Highly Cited
2007
Highly Cited
2007
clasp : A Conflict-Driven Answer Set Solver
We describe the conflict-driven answer set solver clasp, which is based on concepts from constraint processing (CSP) and… 
Highly Cited
2002
Highly Cited
2002
c ○ ESO 2002 Astronomy Astrophysics
  • 2002
  • Corpus ID: 5504247
Highly Cited
2002
Highly Cited
2002
A ghost-cell immersed boundary method for flow in complex geometry
Review
1999
Review
1999
Conditional moment closure for turbulent combustion
Review
1998
Review
1998
MPDATA: A Finite-Difference Solver for Geophysical Flows
This article is a review of MPDATA, a class of methods for the numerical simulation of fluid flows based on the sign-preserving… 
Highly Cited
1993
Highly Cited
1993
Description and use of LSODE, the Livermore Solver for Ordinary Differential Equations
LSODE, the Livermore Solver for Ordinary Differential Equations, is a package of FORTRAN subroutines designed for the numerical… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)