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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1958-2019
01000200019582018

Related topics

Related topics

30 relations
AIMMSAMPLASCENDAlgebraic modeling language
(More)

Related mentions per year

Related mentions per year

1936-2019
19401960198020002020
Solver
Nonlinear system
Search algorithm
Library (computing)
Shortest path problem
Computer program

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… (More)
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… (More)
Is this relevant?
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… (More)
  • figure 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… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
BerkMin: A Fast and Robust Sat-Solver
We describe a SAT-solver, BerkMin, that inherits suchfeatures of GRASP, SATO, and Chaff as clause recording,fast BCP, restarts… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Chaff: Engineering an Efficient SAT Solver
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been… (More)
  • 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… (More)
  • 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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1980
Highly Cited
1980
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
The contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 9
Is this relevant?
Highly Cited
1971
Highly Cited
1971
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
We describe a new problem solver called STRIPS that attempts to f ind a sequence of operators in a space of world models to… (More)
Is this relevant?