@inproceedings{92276,
  author = {Yinlei Yu and Pramod Subramanyan and Nestan Tsiskaridze and Sharad Malik},
  title = {All-SAT using minimal blocking clauses},
  year = {2014},
  journal = {VLSI Design and 2014 13th International Conference on Embedded Systems, 2014 27th International Conference on},
  pages = {86{\textendash}91},
  publisher = {IEEE},
  language = {eng},
}