Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,767,444 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.
Highly Cited
2013
Highly Cited
2013
Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization
Broderick Crawford
,
Ricardo Soto
,
É. Monfroy
,
W. Palma
,
Carlos Castro
,
F. Paredes
Expert systems with applications
2013
Corpus ID: 42501676
Highly Cited
2010
Highly Cited
2010
A memetic algorithm applied to the design of water distribution networks
R. Baños
,
C. Gil
,
J. Reca
,
F. G. Montoya
Applied Soft Computing
2010
Corpus ID: 205700479
Highly Cited
2010
Highly Cited
2010
Galaxy motions, turbulence and conduction in clusters of galaxies
M. Ruszkowski
,
S. Oh
2010
Corpus ID: 54202421
Unopposed radiative cooling in clusters of galaxies results in excessive mass deposition rates on to the central brightest…
Expand
Highly Cited
2008
Highly Cited
2008
Coupled hydrological-economic modelling for optimised irrigated cultivation in a semi-arid catchment of West Africa
H. Ahrends
,
M. Mast
,
C. Rodgers
,
H. Kunstmann
Environmental Modelling & Software
2008
Corpus ID: 26455482
Highly Cited
2006
Highly Cited
2006
Optimal Path Planning of UAVs Using Direct Collocation with Nonlinear Programming
Brian R. Geiger
,
J. Horn
,
Anthony M. DeLullo
,
A. Niessner
,
L. Long
2006
Corpus ID: 62271686
A trajectory generation algorithm using direct collocation with nonlinear programming is successfully demonstrated in simulation…
Expand
Review
2004
Review
2004
A process/physics-based compact model for nonclassical CMOS device and circuit design
J. Fossum
,
L. Ge
,
+5 authors
B. Nguyen
2004
Corpus ID: 110233451
Highly Cited
2004
Highly Cited
2004
In-Cylinder CFD Simulation Using a C++ Object-Oriented Toolkit
H. Jasak
,
Henry G. Weller
,
N. Nordin
2004
Corpus ID: 17116922
Successful simulation of ∞uid ∞ow, heat transfer, fuel injection and combustion in internal combustion engines involves a…
Expand
Highly Cited
2003
Highly Cited
2003
A computational inverse technique for material characterization of a functionally graded cylinder using a progressive neural network
Xu Han
,
Daolin Xu
,
Gui-rong Liu
Neurocomputing
2003
Corpus ID: 33492042
Highly Cited
2001
Highly Cited
2001
On Three-Grid Fourier Analysis for Multigrid
Roman Wienands
,
C. Oosterlee
SIAM Journal on Scientific Computing
2001
Corpus ID: 9015111
In this paper, we present three-grid Fourier analysis for multigrid methods. Due to the recursive structure of a multigrid…
Expand
Highly Cited
1993
Highly Cited
1993
A Structural Theory of Explanation-Based Learning
Oren Etzioni
Artificial Intelligence
1993
Corpus ID: 16714892
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)
ACCEPT & CONTINUE