Jin-Kao Hao

Université d'Angers 2 Boulevard Lavoisier , 49045 Angers Cedex 01 , France

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