@inproceedings{Biere-SAT-Competition-2013-hwmcc12-miters,
  author    = {Armin Biere and Marijn Heule and Matti J{\"a}rvisalo and Norbert Manthey},
  title     = {Equivalence checking of {HWMCC 2012} Circuits},
  pages     = {104},
  booktitle = {Proc.~of {SAT Competition} 2013 -- Solver and Benchmark Descriptions},
  editor    = {Adrian Balint and Andon Belov and Marijn Heule and Matti J{\"a}rvisalo},
  volume    = {B-2013-1},
  series    = {Department of Computer Science Series of Publications B},
  publisher = {University of Helsinki},
  year      = 2013,
}