Last update: Thu Sep 27 02:15:07 MDT 2018
@InProceedings{Papadimitriou:1991:SST, author = "C. H. Papadimitriou", title = "On selecting a satisfying truth assignment", crossref = "IEEE:1991:PAS", pages = "163--169", year = "1991", bibdate = "Thu Apr 5 06:13:50 MDT 2001", bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib", acknowledgement = ack-nhfb, }