Jin-Kao Hao

3 papers in the IJCAI proceedings

IJCAI 2013

Breakout Local Search for the Vertex Separator Problem

with Una Benlic

Details PDF

IJCAI 2005

Three Truth Values for the SAT and MAX-SAT Problems

with Frédéric Lardeux, Frédéric Saubion

Details PDF

IJCAI 2001

A Hybrid Approach for the 01 Multidimensional Knapsack problem

with Michel Vasquez

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings