Tuomas Sandholm. A Second Order Parameter for 3SAT. In AAAI/IAAI, Vol. 1. pages 259-265, 1996.
@inproceedings{Sandholm96,
title = {A Second Order Parameter for 3SAT},
author = {Tuomas Sandholm},
year = {1996},
researchr = {https://researchr.org/publication/Sandholm96},
cites = {0},
citedby = {0},
pages = {259-265},
booktitle = {AAAI/IAAI, Vol. 1},
}