Last update: Sat Oct 14 02:35:45 MDT 2017
@Article{Audemard:2008:SGB, author = "Gilles Audemard and Said Jabbour and Lakhdar Sais", title = "{SAT} graph-based representation: a new perspective", journal = j-J-ALG, volume = "63", number = "1--3", pages = "17--33", month = jan # "\slash " # jul, year = "2008", CODEN = "JOALDV", DOI = "https://doi.org/10.1016/j.jalgor.2008.02.001", 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/S0196677408000047", acknowledgement = ack-nhfb, fjournal = "Journal of Algorithms", journal-URL = "http://www.sciencedirect.com/science/journal/01966774", }