People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Yeo, Anders
Recent Publications
Solving MAX-r-SAT above a tight lower bound
2011
Fixed-parameter complexity of minimum profile problems
2008
Cite
×