External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

DPLL: The Core of Modern Satisfiability Solvers

Donald W. Loveland, Ashish Sabharwal, Bart Selman. DPLL: The Core of Modern Satisfiability Solvers. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 315-335, Springer, 2016. [doi]

Authors

Donald W. Loveland

This author has not been identified. Look up 'Donald W. Loveland' in Google

Ashish Sabharwal

This author has not been identified. Look up 'Ashish Sabharwal' in Google

Bart Selman

This author has not been identified. Look up 'Bart Selman' in Google
runs on