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.
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
Is this relevant?
Highly Cited
2006
Highly Cited
2006
A Fast Linear-Arithmetic Solver for DPLL(T)
We present a new Simplex-based linear arithmetic solver that can be integrated efficiently in the DPLL(T) framework. The new… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • table 1
Is this relevant?
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
Is this relevant?
Highly Cited
2002
Highly Cited
2002
BerkMin: A Fast and Robust Sat-Solver
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts… Expand
Is this relevant?
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
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Efficient conflict driven learning in a Boolean satisfiability solver
One of the most important features of current state-of-the-art SAT solvers is the use of conflict based backtracking and learning… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Checking Safety Properties Using Induction and a SAT-Solver
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
1980
Highly Cited
1980
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
  • Reid G. Smith
  • IEEE Transactions on Computers
  • 1980
    • Corpus ID: 15267324
The contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed… Expand
  • figure 2
  • figure 1
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
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