@article{journals/jsat/HaanpaaJKN06,
  added-at = {2009-05-05T00:00:00.000+0200},
  author = {Haanpää, Harri and Järvisalo, Matti and Kaski, Petteri and Niemelä, Ilkka},
  biburl = {http://www.bibsonomy.org/bibtex/2a0e79bf3bdbb1c57cb19c406668b9c55/dblp},
  date = {2009-05-05},
  description = {dblp},
  ee = {http://jsat.ewi.tudelft.nl/content/volume2/JSAT2_2_Haanpaa.pdf},
  interhash = {24e661f5188a5f7e8c151fa5282cf804},
  intrahash = {a0e79bf3bdbb1c57cb19c406668b9c55},
  journal = {JSAT},
  keywords = {dblp},
  number = {1-4},
  pages = {27-46},
  timestamp = {2009-05-05T00:00:00.000+0200},
  title = {Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques.},
  url = {http://dblp.uni-trier.de/db/journals/jsat/jsat2.html#HaanpaaJKN06},
  volume = 2,
  year = 2006
}