D. Loveland, A. Sabharwal, and B. Selman. Martin Davis on Computability, Computational Logic, and Mathematical Foundations, volume 10 of Outstanding Contributions to Logic, Springer, (2016)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 books/sp/16/LovelandSS16
%A Loveland, Donald W.
%A Sabharwal, Ashish
%A Selman, Bart
%B Martin Davis on Computability, Computational Logic, and Mathematical Foundations
%D 2016
%E Omodeo, Eugenio G.
%E Policriti, Alberto
%I Springer
%K dblp
%P 315-335
%T DPLL: The Core of Modern Satisfiability Solvers.
%U http://dblp.uni-trier.de/db/books/collections/OP2016.html#LovelandSS16
%V 10
%@ 978-3-319-41842-1
@incollection{books/sp/16/LovelandSS16,
added-at = {2018-12-28T00:00:00.000+0100},
author = {Loveland, Donald W. and Sabharwal, Ashish and Selman, Bart},
biburl = {https://www.bibsonomy.org/bibtex/261a6eb37ea9ad47b70515e078018e03a/dblp},
booktitle = {Martin Davis on Computability, Computational Logic, and Mathematical Foundations},
crossref = {books/sp/2016OP},
editor = {Omodeo, Eugenio G. and Policriti, Alberto},
ee = {https://doi.org/10.1007/978-3-319-41842-1_12},
interhash = {e1b42a8d843e54cb1dd6e5076c2bec48},
intrahash = {61a6eb37ea9ad47b70515e078018e03a},
isbn = {978-3-319-41842-1},
keywords = {dblp},
pages = {315-335},
publisher = {Springer},
series = {Outstanding Contributions to Logic},
timestamp = {2018-12-29T11:36:53.000+0100},
title = {DPLL: The Core of Modern Satisfiability Solvers.},
url = {http://dblp.uni-trier.de/db/books/collections/OP2016.html#LovelandSS16},
volume = 10,
year = 2016
}