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)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2008

Highly Cited

2008

- Leonardo MendonÃ§a de Moura, Nikolaj BjÃ¸rner
- TACAS
- 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

- Bruno Dutertre
- 2006

SMT stands for Satisfiability Modulo Theories. An SMT solver decides the satisfiability of propositionally complex formulas inâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Niklas EÃ©n, Niklas SÃ¶rensson
- SAT
- 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

- Eugene Goldberg, Yakov Novikov
- DATE
- 2002

We describe a SAT-solver, BerkMin, that inherits suchfeatures of GRASP, SATO, and Chaff as clause recording,fast BCP, restartsâ€¦Â (More)

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)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik
- IEEE/ACM International Conference on Computerâ€¦
- 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)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Mary Sheeran, Satnam Singh, Gunnar StÃ¥lmarck
- FMCAD
- 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)

Is this relevant?

Highly Cited

1980

Highly Cited

1980

- Reid G. Smith
- IEEE Transactions on Computers
- 1980

The contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributedâ€¦Â (More)

Is this relevant?

Highly Cited

1971

Highly Cited

1971

- Richard Fikes, Nils J. Nilsson
- IJCAI
- 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?