Last update: Thu Sep 27 02:15:07 MDT 2018
@InProceedings{Chvatal:1992:MGS, author = "V. Chvatal and B. Reed", title = "Mick gets some (the odds are on his side) (satisfiability)", crossref = "IEEE:1992:ASF", pages = "620--627", year = "1992", bibdate = "Thu Apr 5 06:13:50 MDT 2001", bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib", acknowledgement = ack-nhfb, }