Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Mathias Soeken' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL