Kim, Eun Jung

Recent Publications

Solving MAX-r-SAT above a tight lower bound

2011