@inproceedings{jmnz12:cp-sat,
  title = "{R}elating {P}roof {C}omplexity {M}easures and {P}ractical {H}ardness of {S}{A}{T}",
  author = "Matti J\"arvisalo and Arie Matsliah and Jakob Nordstr\"om and Stanislav \v{Z}ivn\'y",
  year = "2012",
  booktitle = "{P}roceedings of the 18th {I}nternational {C}onference on {P}rinciples and {P}ractice of {C}onstraint {P}rogramming ({C}{P}'12)",
  pages = "316--331",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/jmnz12cp-sat-preprint.pdf",
  volume = "7514",
  doi = "10.1007/978-3-642-33558-7_25",
}