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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
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
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
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
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
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
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
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
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 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
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?