%0 Conference Paper %1 conf/focs/Papadimitriou91 %A Papadimitriou, Christos H. %B FOCS %D 1991 %I IEEE Computer Society %K dblp %P 163-169 %T On Selecting a Satisfying Truth Assignment (Extended Abstract) %U http://dblp.uni-trier.de/db/conf/focs/focs91.html#Papadimitriou91 %@ 0-8186-2445-0

@inproceedings{conf/focs/Papadimitriou91, added-at = {2023-03-23T00:00:00.000+0100}, author = {Papadimitriou, Christos H.}, biburl = {https://www.bibsonomy.org/bibtex/21dd8cfbca7c1238a8da88c50ede70222/dblp}, booktitle = {FOCS}, crossref = {conf/focs/FOCS32}, ee = {https://www.wikidata.org/entity/Q29010556}, interhash = {ee09f4a5f6b9bb3a7e01347aedeca209}, intrahash = {1dd8cfbca7c1238a8da88c50ede70222}, isbn = {0-8186-2445-0}, keywords = {dblp}, pages = {163-169}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:25:00.000+0200}, title = {On Selecting a Satisfying Truth Assignment (Extended Abstract)}, url = {http://dblp.uni-trier.de/db/conf/focs/focs91.html#Papadimitriou91}, year = 1991 }