book chapterLecture notes in computer scienceJan 1, 2006Closed access

A Fast Linear-Arithmetic Solver for DPLL(T)

BDBruno DutertreLDLeonardo de Moura

SRI International

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

667
total citations
FWCI
77.95
Percentile
100%
References
22
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • DPLL algorithm
  • Solver
  • Backtracking
  • Computer science
  • A priori and a posteriori
  • Simplex
  • Simple (philosophy)
  • Algorithm
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.