Searching for "Making Hard Problems Harder" – sorted by Relevance.
-
Publications
- Applications of Satisfiability Testing (SAT), 2006. Co-author: David Mitchell. * Making Hard Problems Harder
- Add To MetaCart

