@proceedings{StrichmanSzeider10,
 doi = {10.1007/978-3-642-14186-7},
 editor = {Ofer Strichman and
Stefan Szeider},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
 url = {https://doi.org/10.1007/978-3-642-14186-7},
 volume = {6175},
 year = {2010}
}