People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Kim, Eun Jung
Recent Publications
Solving MAX-r-SAT above a tight lower bound
2011
Cite
×