@inproceedings{jmnz12:cp,
  title = "Relating proof complexity measures and practical hardness of SAT",
  author = "Matti J\"arvisalo and Arie Matsliah and Jakob Nordstr\"om and Stanislav \v{Z}ivn\'y",
  year = "2012",
  booktitle = "Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP'12)",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
}