Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,368,760 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
2010
Highly Cited
2010
Temperature Effects on Silicon-on-Insulator (SOI) Racetrack Resonators: A Coupled Analytic and 2-D Finite Difference Approach
N. Rouger
,
L. Chrostowski
,
R. Vafaei
Journal of Lightwave Technology
2010
Corpus ID: 23988661
This paper presents a detailed analysis of racetrack resonators on silicon on insulator substrates. Both the temperature effects…
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
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
2003
2003
Minimizing the peak-to-average power ratio of OFDM signals via convex optimization
A. Aggarwal
,
T. Meng
GLOBECOM '03. IEEE Global Telecommunications…
2003
Corpus ID: 58922
Efficient OFDM transmission has been limited by power amplifier (PA) non-linearity combined with OFDM's high peak-to-average…
Expand
Highly Cited
2002
Highly Cited
2002
BDD-Based Decision Procedures for K
Guoqiang Pan
,
U. Sattler
,
Moshe Y. Vardi
CADE
2002
Corpus ID: 12488170
We describe BDD-based decision procedures for \( \mathcal{K} \). Our approach is inspired by the automata-theoretic approach, but…
Expand
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
1996
Highly Cited
1996
Robust interval algorithm for curve intersections
Chun-Yi Hu
,
T. Maekawa
,
Evan C. Sherbrooke
,
N. Patrikalakis
Comput. Aided Des.
1996
Corpus ID: 10396228
Highly Cited
1993
Highly Cited
1993
A Structural Theory of Explanation-Based Learning
Oren Etzioni
Artificial Intelligence
1993
Corpus ID: 16714892
1988
1988
A refined diagnostic wind model
N. Moussiopoulos
,
T. Flassak
,
G. Knittel
1988
Corpus ID: 62660143
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
or Only Accept Required