Sciweavers

Share
ISVLSI
2008
IEEE

Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability

8 years 8 months ago
Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability
Robert Wille, Daniel Große, Mathias Soeken,
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ISVLSI
Authors Robert Wille, Daniel Große, Mathias Soeken, Rolf Drechsler
Comments (0)
books