Sciweavers

Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability
Recent Google, Yahoo, MSN search queries leading to this post
Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability