@inproceedings{10368,
  title = "Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability",
  author = "Rahul Santhanam",
  year = "2010",
  journal = "Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science",
}