Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,895,259 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
2017
Highly Cited
2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
,
Clark W. Barrett
,
D. Dill
,
Kyle D. Julian
,
Mykel J. Kochenderfer
International Conference on Computer Aided…
2017
Corpus ID: 516928
Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a…
Expand
Highly Cited
2013
Highly Cited
2013
ECOS: An SOCP solver for embedded systems
A. Domahidi
,
E. Chu
,
Stephen P. Boyd
European Control Conference
2013
Corpus ID: 15706624
In this paper, we describe the embedded conic solver (ECOS), an interior-point solver for second-order cone programming (SOCP…
Expand
Highly Cited
2008
Highly Cited
2008
Z3: An Efficient SMT Solver
L. D. Moura
,
N. Bjørner
International Conference on Tools and Algorithms…
2008
Corpus ID: 15912959
Satisfiability Modulo Theories (SMT) problem is a decision problem for logical first order formulas with respect to combinations…
Expand
Highly Cited
2007
Highly Cited
2007
Pegasos: primal estimated sub-gradient solver for SVM
S. Shalev-Shwartz
,
Y. Singer
,
Nathan Srebro
,
Andrew Cotter
International Conference on Machine Learning
2007
Corpus ID: 53306004
We describe and analyze a simple and effective stochastic sub-gradient descent algorithm for solving the optimization problem…
Expand
Highly Cited
2006
Highly Cited
2006
The YICES SMT Solver
B. Dutertre
,
L. D. Moura
2006
Corpus ID: 15488171
SMT stands for Satisfiability Modulo Theories. An SMT solver decides the satisfiability of propositionally complex formulas in…
Expand
Highly Cited
2003
Highly Cited
2003
An Extensible SAT-solver
N. Eén
,
Niklas Sörensson
International Conference on Theory and…
2003
Corpus ID: 9774288
In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified…
Expand
Highly Cited
2001
Highly Cited
2001
Chaff: engineering an efficient SAT solver
M. Moskewicz
,
Conor F. Madigan
,
Ying Zhao
,
Lintao Zhang
,
S. Malik
Proceedings - Design Automation Conference
2001
Corpus ID: 9292941
Boolean satisfiability is probably the most studied of the combinatorial optimization/search problems. Significant effort has…
Expand
Highly Cited
1997
Highly Cited
1997
LINCS: A linear constraint solver for molecular simulations
B. Hess
,
H. Bekker
,
H. Berendsen
,
J. Fraaije
Journal of Computational Chemistry
1997
Corpus ID: 21320216
In this article, we present a new LINear Constraint Solver (LINCS) for molecular simulations with bond constraints. The algorithm…
Expand
Highly Cited
1989
Highly Cited
1989
VODE: a variable-coefficient ODE solver
P. Brown
,
G. D. Byrne
,
A. Hindmarsh
1989
Corpus ID: 55374658
VODE is a new initial value ODE solver for stiff and nonstiff systems. It uses variable-coefficient Adams-Moulton and Backward…
Expand
Highly Cited
1981
Highly Cited
1981
The Complete Problem Solver
J. Hayes
1981
Corpus ID: 61131956
This unique volume returns in its second edition, revised and updated with the latest advances in problem solving research. It is…
Expand
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