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
2017
Highly Cited
2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a… 
Highly Cited
2013
Highly Cited
2013
ECOS: An SOCP solver for embedded systems
In this paper, we describe the embedded conic solver (ECOS), an interior-point solver for second-order cone programming (SOCP… 
Highly Cited
2008
Highly Cited
2008
Z3: An Efficient SMT Solver
Satisfiability Modulo Theories (SMT) problem is a decision problem for logical first order formulas with respect to combinations… 
Highly Cited
2007
Highly Cited
2007
Pegasos: primal estimated sub-gradient solver for SVM
We describe and analyze a simple and effective stochastic sub-gradient descent algorithm for solving the optimization problem… 
Highly Cited
2006
Highly Cited
2006
The YICES SMT Solver
SMT stands for Satisfiability Modulo Theories. An SMT solver decides the satisfiability of propositionally complex formulas in… 
Highly Cited
2003
Highly Cited
2003
An Extensible SAT-solver
In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified… 
Highly Cited
2001
Highly Cited
2001
Chaff: engineering an efficient SAT solver
Boolean satisfiability is probably the most studied of the combinatorial optimization/search problems. Significant effort has… 
Highly Cited
1997
Highly Cited
1997
LINCS: A linear constraint solver for molecular simulations
In this article, we present a new LINear Constraint Solver (LINCS) for molecular simulations with bond constraints. The algorithm… 
Highly Cited
1989
Highly Cited
1989
VODE: a variable-coefficient ODE solver
VODE is a new initial value ODE solver for stiff and nonstiff systems. It uses variable-coefficient Adams-Moulton and Backward… 
Highly Cited
1981
Highly Cited
1981
The Complete Problem Solver
This unique volume returns in its second edition, revised and updated with the latest advances in problem solving research. It is… 
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)