Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 221,433,750 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
2011
Highly Cited
2011
Toward an economic design of reinforced concrete structures against progressive collapse
H. Salem
,
A. Elfouly
,
H. Tagel-Din
2011
Corpus ID: 73619151
Highly Cited
2010
Highly Cited
2010
A privacy-preserving approach to policy-based content dissemination
Ning Shang
,
Mohamed Nabeel
,
F. Paci
,
E. Bertino
IEEE International Conference on Data Engineering
2010
Corpus ID: 4833265
We propose a novel scheme for selective distribution of content, encoded as documents, that preserves the privacy of the users to…
Expand
Highly Cited
2008
Highly Cited
2008
A high-order accurate unstructured finite volume Newton-Krylov algorithm for inviscid compressible flows
A. Nejat
,
C. Ollivier-Gooch
Journal of Computational Physics
2008
Corpus ID: 8974589
Highly Cited
2005
Highly Cited
2005
An architecture for workflow scheduling under resource allocation constraints
Pinar Senkul
,
I. H. Toroslu
Information Systems
2005
Corpus ID: 7660419
Highly Cited
2005
Highly Cited
2005
Simultaneous disruption recovery of a train timetable and crew roster in real time
C. Walker
,
Jody N. Snowdon
,
D. Ryan
Computers & Operations Research
2005
Corpus ID: 7186656
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
2000
Highly Cited
2000
A parallel 3D computational method for fluid-structure interactions in parachute systems
V. Kalro
,
T. Tezduyar
2000
Corpus ID: 959910
Highly Cited
1991
Highly Cited
1991
Object oriented parallel programming: experiments and results
Jenq-Kuen Lee
,
Dennis Gannon
Proceedings of the ACM/IEEE Conference on…
1991
Corpus ID: 341303
No abstract available
Highly Cited
1987
Highly Cited
1987
MOLE: A Tenacious Knowledge-Acquisition Tool
L. Eshelman
,
D. Ehret
,
J. McDermott
,
Ming Tan
Int. J. Man Mach. Stud.
1987
Corpus ID: 19292638
Highly Cited
1986
Highly Cited
1986
A Design Methodology for Synthesizing Parallel Algorithms and Architectures
Marina C. Chen
J. Parallel Distributed Comput.
1986
Corpus ID: 27276949
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