@inproceedings{ALMSS92,
   author = {S. Arora and C. Lund and R. Motwani and M. Sudan and M. Szegedy},
   address = {Los Angeles, CA},
   booktitle = {Proceedings 33rd {IEEE} {S}ymposium on the {F}oundations of {C}omputer {S}cience},
   pages = {14--23},
   publisher = {IEEE Computer Society},
   title = {Proof verification and hardness of approximation problems},
   year = {1992},
}
@inproceedings{Ya92,
   author = {Mihalis Yannakakis},
   booktitle = {Proceedings of the Third {ACM--SIAM} Symposium on
Discrete Algorithms},
   pages = {1--9},
   title = {On the Approximation of Maximum Satisfiability},
   year = {1992},
}

@article{Ho88,
   author = {John N. Hooker},
   journal = {Decision Support Systems},
   pages = {45--69},
   title = {A Quantitative Approach to Logical Inference},
   volume = {4},
   year = {1988}
}
@article{DaPu60,
   author = {M. Davis and H. Putnam},
   journal = {Journal of the {ACM}},
   pages = {201--215},
   title = {A Computing Procedure for Quantification Theory},
   volume = {7},
   year = {1960}
}

@article{JeWa90,
   author = {Robert E. Jeroslow and J. Wang},
   journal = {Annals of Mathematics and AI},
   pages = {167--187},
   title = {Solving Propositional Satisfiability Problems},
   volume = {1},
   year = {1990}
}

@article{Ho88b,
   author = {John N. Hooker},
   journal = {Operations Research Letters},
   pages = {1--7},
   title = {Resolution vs. Cutting Plane Solution of Inference Problems:  Some Computational Results},
   volume = {7},
   year = {1988}
}

@book{Ni80,
   author = {N.J. Nilsson},
   publisher = {Tioga Publishing Company},
   title = {Principles of Artificial Intelligence},
   year = {1980}
}

@article{FrPa83,
   author = {John Franco and M. Paull},
   journal = {Discrete Applied Mathematics},
   pages = {77--87},
   title = {Probabilistic Analysis of the Davis Putnam Procedure for Solving the Satisfiability Problem},
   volume = {5},
   year = {1983}
}
@inproceedings{MSL92,
   author = {David Mitchell and Bart Selman and Hector Levesque},
   address = {San Jose, CA},
   booktitle = {Proceedings of the Tenth National Conference on
Artificial Intelligence ({AAAI}--92)},
   pages = {},
   title = {Hard and Easy Distributions of {SAT} Problems},
   year = {1992},
}
@inproceedings{SLM92,
   author = {Bart Selman and Hector Levesque and David Mitchell},
   address = {San Jose, CA},
   booktitle = {Proceedings of the Tenth National Conference on
Artificial Intelligence ({AAAI}--92)},
   pages = {},
   title = {A New Method for Solving Hard Satisfiability Problems},
   year = {1992},
}
@inproceedings{ChRe92,
   author = {Vasek Chv\'atal and Bruce Reed},
   address = {Pittsburgh},
   booktitle = {Proceedings on the Foundations of Computer Science},
   title = {Mick Gets Some (The Odds are on his Side)},
   year = {1992}
}
@book{BaFe82,
   author = {A. Barr and E.A. Feigenbaum},
   publisher = {William Kaufman},
   title = {The Handbook of Artificial Intelligence},
   year = {1982}
}

@article{Fr86,
   author = {John Franco},
   journal = {Information Processing Letters},
   pages = {103--106},
   title = {On the Probabilistic Performance of Algorithms for the Satisfiability Problem},
   volume = {23},
   year = {1986}
}

@article{Ro65,
   author = {J.A. Robinson},
   journal = {Journal of the ACM},
   pages = {23--41},
   title = {A Machine--Oriented Logic Based on the Resolution Principle},
   volume = {1965},
   year = {1965}
}

@book{Lo78,
   author = {D.W. Loveland},
   publisher = {North--Holland},
   title = {Automated Theorem Proving:  A Logical Basis},
   year = {1978}
}

@article{HaJa90,
   author = {Pierre Hansen and Brigitte Jaumard},
   journal = {Computing},
   pages = {279--303},
   title = {Algorithms for the Maximum Satisfiability Problem},
   volume = {44},
   year = {1990}
}

@article{KKRR90,
   author = {A.P. Kamath and N.K. Karmarkar and K.G. Rmakrishnan and M.G.C. Resende},
   journal = {Annals of Operations Research},
   pages = {43--58},
   title = {Computational Experience with an Interior Point Algorithm on the Satisfiability Problem},
   volume = {25},
   year = {1990}
}