Last update: Sat Oct 14 02:35:45 MDT 2017
@Article{Marques-Silva:2008:MCB, author = "Joao Marques-Silva", title = "Model checking with {Boolean Satisfiability}", journal = j-J-ALG, volume = "63", number = "1--3", pages = "3--16", month = jan # "\slash " # jul, year = "2008", CODEN = "JOALDV", DOI = "https://doi.org/10.1016/j.jalgor.2008.02.007", ISSN = "0196-6774 (print), 1090-2678 (electronic)", ISSN-L = "0196-6774", bibdate = "Tue Dec 11 09:23:37 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/jalg.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0196677408000035", acknowledgement = ack-nhfb, fjournal = "Journal of Algorithms", journal-URL = "http://www.sciencedirect.com/science/journal/01966774", }