Publication - A New Order Parameter for 3SAT

Authors: Sandholm, T.
Title: A New Order Parameter for 3SAT
Publication: Twelfth National Conference on Artificial Intelligence Workshop on Experimental Evaluation of Reasoning and Search Methods, pp. 57 - 63
Location: Seattle WA
Date: January 1994
Reference: Sandholm, T.. A New Order Parameter for 3SAT. Twelfth National Conference on Artificial Intelligence Workshop on Experimental Evaluation of Reasoning and Search Methods, pp. 57-63. January 1994.
bibtex: 
@inproceedings{Sandholm-68,
  author    = "T. Sandholm",
  title     = "{A New Order Parameter for 3SAT}",
  booktitle = "Twelfth National Conference on Artificial
               Intelligence Workshop on Experimental Evaluation
               of Reasoning and Search Methods",
  pages     = "57-63",
  month     = "January",
  year      = "1994",
  address   = "Seattle WA",
  url       = "http://mas.cs.umass.edu/paper/68",
}