Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,698 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
AIMMS
AMPL
ASCEND
Algebraic modeling language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Enhanced Mass Conservation in Least-Squares Methods for Navier-Stokes Equations
Jeffrey J. Heys
,
Eunjung Lee
,
T. Manteuffel
,
S. McCormick
,
J. Ruge
SIAM Journal on Scientific Computing
2009
Corpus ID: 15569797
There are many applications of the least-squares finite element method for the numerical solution of partial differential…
Expand
Review
2008
Review
2008
R EVIEW A RTICLE Recent Progress inNumericalMethods for the Poisson-Boltzmann Equation in Biophysical Applications
Benzhuo Lu
,
Y.-C. Zhou
,
M. Holst
,
J. McCammon
2008
Corpus ID: 18340858
Efficiency and accuracy are two major concerns in numerical solutions of the Poisson-Boltzmann equation for applications in…
Expand
2008
2008
Two Encodings of DNNF Theories
J. C. Jung
,
P. Barahona
,
G. Katsirelos
,
T. Walsh
2008
Corpus ID: 14668404
The paper presents two new compilation schemes of Decomposable Negation Normal Form (DNNF) theories into Conjunctive Normal Form…
Expand
Review
2008
Review
2008
Computational fluid dynamics as a tool for urban drainage system analysis: a review of applications and best practice
Daniel Stuart Jarman
,
M. Faram
,
+4 authors
E. Throp
2008
Corpus ID: 66104445
Computational Fluid Dynamics (CFD) can be applied to gain insights into most fluid processes and associated phenomena and so…
Expand
2007
2007
Service Composition with Consistency-Based Matchmaking: A CSP-Based Approach
R. Thiagarajan
,
M. Stumptner
IEEE European Conference on Web Services
2007
Corpus ID: 17705283
Automated discovery and composition of Web services and the representation of service semantics required to automate these tasks…
Expand
2004
2004
Markov models of fault-tolerant memory systems under SEU
L. Schiano
,
M. Ottavi
,
F. Lombardi
Records of the International Workshop on Memory…
2004
Corpus ID: 5615538
A single event upset (SEU) can affect the correct operation of digital systems, such as memories and processors. This paper…
Expand
2004
2004
Very fast Simulated Annealing for HW-SW partitioning
Sudarshan Banerjee
,
N. Dutt
2004
Corpus ID: 14776466
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems and has been studied extensively in…
Expand
1999
1999
Programming in FISh
C. Jay
International Journal on Software Tools for…
1999
Corpus ID: 35861295
Abstract.Shape is a new abstraction that can be used to organise and optimise programs. In brief, the shape of a data structure…
Expand
1995
1995
A Reactive Constraint Logic Programming Scheme
F. Fages
,
J. Fowler
,
T. Sola
International Conference on Logic Programming
1995
Corpus ID: 5055942
In this paper we present a constraint logic programming scheme for reactive systems. A formal framework is developed to deene the…
Expand
1993
1993
MODEL-K for prototyping and strategic reasoning at the knowledge level
Werner Karbach
,
A. Voß
1993
Corpus ID: 673426
To close the gap between knowledge level and symbol level, the MODEL-K language allows to specify KADS conceptual models and to…
Expand