R.: Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability (2008)

by R Wille, D Große, M Soeken, Drechsler
Venue:In: IEEE Symp. on VLSI, IEEE Computer Society