%0 Conference Paper %1 conf/focs/LiptonV99 %A Lipton, Richard J. %A Viglas, Anastasios %B FOCS %D 1999 %I IEEE Computer Society %K dblp %P 459-464 %T On the Complexity of SAT. %U http://dblp.uni-trier.de/db/conf/focs/focs99.html#LiptonV99 %@ 0-7695-0409-4

@inproceedings{conf/focs/LiptonV99, added-at = {2023-03-23T00:00:00.000+0100}, author = {Lipton, Richard J. and Viglas, Anastasios}, biburl = {https://www.bibsonomy.org/bibtex/24071b7c605bd93413c40f51c454879a5/dblp}, booktitle = {FOCS}, crossref = {conf/focs/1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/SFFCS.1999.814618}, interhash = {c6b8a95a9dff589cfc4de1cb79b1186c}, intrahash = {4071b7c605bd93413c40f51c454879a5}, isbn = {0-7695-0409-4}, keywords = {dblp}, pages = {459-464}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:39:46.000+0200}, title = {On the Complexity of SAT.}, url = {http://dblp.uni-trier.de/db/conf/focs/focs99.html#LiptonV99}, year = 1999 }