Hao, Jin-Kao

3 publications

IJCAI 2013 Breakout Local Search for the Vertex Separator Problem Una Benlic, Jin-Kao Hao

IJCAI 2005 Three Truth Values for the SAT and MAX-SAT Problems Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao

IJCAI 2001 A Hybrid Approach for the 01 Multidimensional Knapsack Problem Michel Vasquez, Jin-Kao Hao