@incollection{gkss08:sat-kr, author={Gomes, Carla P. and Kautz, Henry and Sabharwal, Ashish and Selman, Bart}, title={Satisfiability Solvers}, crossref={kr-handbook}, pages={89-134}} @book{kr-handbook, title={Handbook of Knowledge Representation}, booktitle={Handbook of Knowledge Representation}, editors={{van Harmelen}, Frank and Lifschitz, Vladimir and Porter, Bruce}, series={Foundations of Artificial Intelligence}, volume=3, year=2008, publisher={Elsevier}}