@INPROCEEDINGS{WGSD:2008,
   AUTHOR    = {Robert Wille and Daniel Gro{\ss}e and Mathias Soeken and Rolf Drechsler},
   TITLE     = {Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability},
   BOOKTITLE = isvlsi,
   pages     = {411--416},
   YEAR      = {2008}
}