Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Related topics

Related topics

31 relations
AIMMSAMPLASCENDAlgebraic modeling language
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2020
Review
2020
Literature review of Industry 4.0 and related technologies
Manufacturing industry profoundly impact economic and societal progress. As being a commonly accepted term for research centers… Expand
Review
2018
Review
2018
Improving Hearthstone AI by Combining MCTS and Supervised Learning Algorithms
We investigate the impact of supervised prediction models on the strength and efficiency of artificial agents that use the Monte… Expand
  • table III
  • table I
  • table II
Review
2018
Review
2018
On the Glucose SAT Solver
The set of novelties introduced with the SAT solver Glucose is now considered as a standard for practical SAT solving. In this… Expand
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… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • table 1
  • table 2
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… Expand
  • figure 3.1
  • table 3.1
  • figure 3.2
  • table 3.2
  • figure 3.3
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… Expand
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… Expand
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… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE