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
A memetic algorithm applied to the design of water distribution networks
Highly Cited
2010
Highly Cited
2010
Temperature Effects on Silicon-on-Insulator (SOI) Racetrack Resonators: A Coupled Analytic and 2-D Finite Difference Approach
This paper presents a detailed analysis of racetrack resonators on silicon on insulator substrates. Both the temperature effects… 
Highly Cited
2008
Highly Cited
2008
Coupled hydrological-economic modelling for optimised irrigated cultivation in a semi-arid catchment of West Africa
Review
2004
Review
2004
A process/physics-based compact model for nonclassical CMOS device and circuit design
Highly Cited
2004
Highly Cited
2004
In-Cylinder CFD Simulation Using a C++ Object-Oriented Toolkit
Successful simulation of ∞uid ∞ow, heat transfer, fuel injection and combustion in internal combustion engines involves a… 
Highly Cited
2003
Highly Cited
2003
A computational inverse technique for material characterization of a functionally graded cylinder using a progressive neural network
Highly Cited
2002
Highly Cited
2002
BDD-Based Decision Procedures for K
We describe BDD-based decision procedures for \( \mathcal{K} \). Our approach is inspired by the automata-theoretic approach, but… 
Highly Cited
2001
Highly Cited
2001
On Three-Grid Fourier Analysis for Multigrid
In this paper, we present three-grid Fourier analysis for multigrid methods. Due to the recursive structure of a multigrid… 
Highly Cited
1995
Highly Cited
1995
An interactive tool for placing curved surfaces without interpenetration
We present a surface representation and a set of algorithms that allow interactive placement of curved parametric objects without… 
Highly Cited
1993
Highly Cited
1993
A Structural Theory of Explanation-Based Learning
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)