%0 Book Section %1 reference/fai/GomesKSS08 %A Gomes, Carla P. %A Kautz, Henry A. %A Sabharwal, Ashish %A Selman, Bart %B Handbook of Knowledge Representation %D 2008 %E van Harmelen, Frank %E Lifschitz, Vladimir %E Porter, Bruce W. %I Elsevier %K dblp %P 89-134 %T Satisfiability Solvers. %U http://dblp.uni-trier.de/db/reference/fai/fai3.html#GomesKSS08 %V 3 %@ 978-0-444-52211-5

@incollection{reference/fai/GomesKSS08, added-at = {2020-10-26T00:00:00.000+0100}, author = {Gomes, Carla P. and Kautz, Henry A. and Sabharwal, Ashish and Selman, Bart}, biburl = {https://www.bibsonomy.org/bibtex/2d4d30249d4723116c75836e316ef247f/dblp}, booktitle = {Handbook of Knowledge Representation}, crossref = {reference/fai/3}, editor = {van Harmelen, Frank and Lifschitz, Vladimir and Porter, Bruce W.}, ee = {https://www.wikidata.org/entity/Q56039664}, interhash = {83f66d7d9f78134ec432f3720e73b3fd}, intrahash = {d4d30249d4723116c75836e316ef247f}, isbn = {978-0-444-52211-5}, keywords = {dblp}, pages = {89-134}, publisher = {Elsevier}, series = {Foundations of Artificial Intelligence}, timestamp = {2024-04-09T07:38:54.000+0200}, title = {Satisfiability Solvers.}, url = {http://dblp.uni-trier.de/db/reference/fai/fai3.html#GomesKSS08}, volume = 3, year = 2008 }