Robert Wille, Daniel Große, Mathias Soeken, Rolf Drechsler. Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France. pages 411-416, IEEE Computer Society, 2008. [doi]
Abstract is missing.