SAT-Based Methods for Circuit Synthesis (bibtex)
by Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing
Reference:
SAT-Based Methods for Circuit SynthesisRoderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian LonsingFMCAD, 2014.
Bibtex Entry:
@article{DBLP:journals/corr/BloemEKKL14,
  author    = {Roderick Bloem and
               Uwe Egly and
               Patrick Klampfl and
               Robert K{\"{o}}nighofer and
               Florian Lonsing},
  title     = {SAT-Based Methods for Circuit Synthesis},
  journal   = {FMCAD},
  year      = {2014},
  url = {http://arxiv.org/abs/1408.2333}
}
Powered by bibtexbrowser