@incollection{FrancoMartin09,
   AUTHOR = {Franco, J. and Martin, J.},
    TITLE = {A History of Satisfiability},
BOOKTITLE = {Handbook of Satisfiability},
   SERIES = {Frontiers in Artificial Intelligence and Applications},
   EDITOR = {Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh},
   VOLUME = {185},
     YEAR = {2009},
    PAGES = {3--74},
PUBLISHER = {IOS Press, Amsterdam, The Netherlands}
}