Research
Group
"Metaheuristics,
Optimization and Applications"
Dr.
Jin-Kao Hao (郝进考)
Professor and initial founder of the
Group
(Professeur des
Universités,
1ère Classe)

LERIA
(Director)
Faculty of Sciences - University
of Angers
2,
Boulevard Lavoisier, 49045 Angers
Cedex 01 - France
Email:
Jin-Kao.Hao[at]univ-angers.fr
Phone:
(+33) 2 41 73 50 76, Fax: (+33) 2 41 73 50 73
Key
words
Metaheuristics and
heuristics,
large-scale combinatorial optimization, mobile radio and Internet
network optimization, constraint solving and constrained
optimization, resource assignment-planning-scheduling, timetabling,
optimization in transportation and logistics, bioinformatics, data
mining.
Research
The group
"Metaheuristics,
Optimization and Applications" works on modern metaheuristics
and intelligent search methods for solving large-scale complex combinatorial problems. We are
especially interested in the following methods:
- Advanced neighborhood search methods: tabu search, iterated
local search, simulated annealing...
- Evolutionary algorithms: genetic algorithms...
- Hybrid and memetic algorithms: genetic and local search,
exact and heuristics search...
Metaheuristics
are based on general principles and applicable to a large number
of problems. Metaheuristics are known today to be among the most
powerful methods for tackling hard and large combinatorial problems.
Target applications
of metaheuristics
concern those highly combinatorial and strongly constrained problems
which cannot be solved other ways. Typical examples of such
applications include resource assignment, planning, scheduling and
re-scheduling, timetabling and inventory...
Research in our
group is carried out in
several tightly related directions. We develop high performance
heuristic methods for real applications including:
- frequency assignment for mobile radio networks (application
of France Telecom)
- antenna positioning for mobile radio networks (European
Esprit IV project)
- inferring autonomous system relationships in the Internet
(France Telecom R&D)
- photograph scheduling of an earth observation satellite
(application of CNES)
- integrated vehicle and driver scheduling
- optimization of BSS architecture (application of Bouygues
Telecom)
- timetabling
- sports league scheduling
- progressive party problem...
and
for general
NP-hard problems such as:
- graph coloring and T-coloring
- (maximal) constraint satisfaction problems (CSP and MCSP)
- satisfiability (SAT and Max-SAT)
- unconstrained binary quadratic optimization
- linear arrangement minimization
- bandwidth minimization
- multidimensional knapsack...
We
are
also working on combinatorial problems encountered in other
application domains such as Bioinformatics. In particular, we are
developing heuristic algorithms for the following problems:
- gene selection and classification of DNA microarray data
- phylogeny reconstruction and maximum parsimony
- protein subcellular
localization
- multiple sequence alignment
We are
also interested in regulation networks and protein structure
prediction.
Other ongoing
research activities
include multiobjective optimization, dynamic optimization and
uncertain optimization by metaheuristics. Finally, we are interested
in general purpose problem solvers based on metaheuristics,
fundamental issues related to the design and understanding of the
heuristic methods (landscapes, search space analysis, distribution of
local optima...).
R&D
grants and contracts
- LigeRO (Pays de
La Loire Regional Project, 2009-2012)
- Adaptive and intelligent search for optimization (Pays de
La Loire Regional Project, 2008-2011)
- BIL (BioInformatique Ligérienne, Pays de La
Loire Regional Project 2007-2009)
- Integrated Vehicule and
Crew Scheduling (CIFRE with PERINFO
SA, 2004-2007, 2005-2008)
- Inference of Autonomous System Relationships in the
Internet (France Telecom R&D, 2005-2006)
- Network design and topology optimization (France Telecom
R&D, 2006-2008)
- Post-Genome (Bioinformatics, 2000-2006)
- Ouest Genopole (Bioinformatics, since 2001)
- Parallel metaheuristics for combinatorial problem solving
(Franco-Mexican Joint Lab in Computer Science LAFMI, 2005-2006)
- Meta-heuristics for
uncertain optimization (PRA
and LIAMA
2000-2003)
- Meteor (Migration &
Evolution of Telecom Equipment through Operations Research, RNRT,2000-2002)
- Mobile radio networks: planning, evolution and optimization
(CNRS Telecoms Programme, 2000-2001)
- Optimization and decision making in cork industry (CIFRE
with SABATE, 1999-2002)
- ARNO (Algorithms for Radio
Network Optimisation, ESPRIT
4, No. 23243, 1997-1999)
- FAP I & II (Frequency assignment for mobile radio
networks, CNET - France Telecom, 1994-1997)
- OPT (Modern heuristics for optimisation, ANVAR, 1996-1997)
Ph.D and
Post-doc supervision
Ongoing
Ph.D. candidates
- Wassim Ayadi (joint PhD with Faculité
des Sciences de Tunis, Tunisia, co-supervisor Dr. M. Elloumi)
- Giglia Gomez (Chilean CONICyT scholarship, from the Universidad de
Valparaiso, Chile, co-supervisor Dr. J.P. Hamiez)
- Samir Laroum (Regional scholarship, co-supervisors
Dr. D. Tessier, INRA Nantes, and Dr. Beatrice Duval, from the Université de Montouri Constantine,
Alegeria, Master of Université de
Montpellier, France)
- Yang Wang (Chinese CSC
Sclolarship, from the Northwestern Polytechnical University, Xi'an, China)
- Qinghua Wu (Chinese CSC
Sclolarship, from the Huazhong University of Science and Technology, Wuhan, China)
- Rongqiang Zeng (Chinese CSC
Sclolarship,
from the University of Electronic
Science and Technology of China, Chengdu)
(Wishing
to do a PhD with us? click
here)
(Notice that we don't take undergraduate
students for
their training program)
Former
Ph.D. candidates
- Vincent Barichard (Assistant Professor at the
Université d'Angers, PhD defense in 2003, from the
Université d'Angers)
- Meriema Belaidouni (Post-doc at the Institut National de
Telecommunications, Paris, PhD defense in 2001, from the
Université Houari Boumédiène, Algeria)
- Edmondo Bonilla Huerta (Assistant
Professor at the Instituto
Tecnologico Apizaco, Tlaxcala, Mexico, PhD
defense in November 2008, Mexican COSNET
scholarship, from the
Instituto Tecnologico Apizaco, co-supervisor
Dr. B. Duval, )
- Marc-Olivier Buob (R&D Engineer, PhD defense in November 2008, France
Telecom R&D research scholarship,
from the Ecole Nationale Supérieure d'Informatique pour
l'Industrie et l'Entreprise (ENSIIE), former IIE Paris, co-supervisor
Dr. J.J. Lutton, France Telecom R&D)
- Alain Chabrier (ODMS Tools and Platforms R&D Director, ILOG, an IBM Company, Madrid, PhD defense in 2003, from the Ecole
Polytechnique, Paris)
- Daniela
Claro (Assistant Professor, Universidade Federal da Bahia,
Brasil, co-supervisor Dr. P. Albers, PhD defense in 2006, from
Universidade Federal de Santa Catarina, Brazil)
- Herve Deleau (Teaching and Research Assistant, PhD defense
in 2005, from the Université d'Amiens, co-supervisor Dr. F.
Saubion)
- Vincent Derrien (Assistant Professor at the Higher Engineering School ESIGELEC, Regional
scholarship, graduated from the
Université d'Angers, PhD defense in March
2008, co-supervisor Dr. J.M. Richer)
- Raphaël Dorne (Senior research scientist at
British Telecom's Advanced Communications Technology Centre, Suffolk,
U.K., PhD defense in 1998, from the Université de
Montpellier II)
- Philippe
Galinier (Associate Professor at the Ecole Polytechnique de
Montreal, Canada, PhD defense in 1999, from the Université
de Montpellier II)
- Adrien Goeffon
(Post-doc at the LaBRI Lab, co-supervisor Dr. J.M. Richer, PhD defense in 2006,
from the Université d'Angers)
- Valérie Guihaire
(R&D Engineer, PhD defense in December 2009, Industrial research grant CIFRE with PERINFO SA, from the Université Catholique de l'Ouest)
- Jean-Philippe Hamiez (Assistant Professor at the
Université d'Angers, PhD defense in 2002, from the
Université d'Amiens)
- José Crispin
Hernandez Hernandez (Assistant Professor at the Instituto Tecnologico Apizaco, Tlaxcala,
Mexico, PhD defense in November 2008, Mexican COSNET scholarship, from the Instituto Tecnologico Apizaco, co-supervisor Dr. B. Duval, )
- Frederic
Lardeux (Assistant Professor at the Université
d'Angers, co-supervisor Dr. F. Saubion, PhD defence in 2005,
from the Université d'Angers)
- Benoit Laurent (R&D
team leader at PERINFO SA, PhD defense in December 2008, Industrial research grant CIFRE with PERINFO SA, from the Université d'Angers)
- Hakim Mabed (Assistant Professor at the Université de Franche-comté, co-supervised by
Dr. A. Caminada, France Telecom R&D, PhD defense in 2003)
- Nicolas Pech-Gourg
(Assistant Professor at the Higher Engineering School IMERIR, France,
PhD defense in 2002, from the Ecole des Mines d'Alès)
- Daniel
Porumbel (Regional scholarship, co-supervisor Dr. P.
Kuntz, Polytech'Nantes, joint Master of the Polytech'Nantes and the Université
"Politehnica" de Bucarest, Romania, PhD defense in Nov. 2009)
- Eduardo A.
Rodriguez-Tello (Researcher at the Cinvestav Tamaulipas, Mexican
CONACyT scholarship, PhD defense in July 2007, from ITESM Cuernavaca,
Mexico, in cooperation with Prof. J. Torres-Jimenez)
- Michel Vasquez (Director of the LGI2P Lab at the National Higher
Engineering School "Ecole des Mines d'Ales", France, PhD defense in 2000, from the Ecole des Mines d'Alèes
)
Post-doc
- Zhipeng Lu (since 2007, PhD from Huazhong University of
Science and Technology, funded by a post-doc scholarship from Angers
Loire Metropole)
- Manuel
Clergue (2000-2001, PhD from Université de Nice,
Assistant Professor at Université de Nice since 2001)
- Yufeng Hao (2004-2005, PhD from Southeast University,
China, funded by the Franco-Chinese Foundation)
- Jian Zhou (2003-2004, Ph.D from Tsinghua University, China,
funded by the French Research Ministry, Assistant Professor at Tsinghua
University since October 2004)
(Wishing
to do a post-doc with us? click
here)
Mini
CV
Jin-Kao
Hao holds a full Professor position in the Department
of
Computer Science of the University
of Angers
(France) since 1999 and got promoted to a first class Professor position in 2006 by
the French National Council of Universities. He is currently the
Director of the LERIA Laboratory (Angers Computer Science Lab) and the
initial founder of the leading research group "Metaheuristics,
Optimization and Applications". Before joining the University of
Angers, he has been an Associate Professor at the National Higher Engineering School "Ecole des Mines
d'Ales" (EERIE
site in
Nîmes) and head of the "Constraints and Heuristics"
research group until September 1999.
His research focuses on the solution of
large-scale combinatorial search problems and on the design of
effective
heuristic and metaheuristic methods for practical applications. He is
known for his contributions to the solution of significant NP-hard
problems like graph coloring, bandwidth and linear arrangement minimization, SAT,
multidimensional 0-1
knapsack problem, unconstrained quadratic binary problem, constraint satisfaction, and maximum parsimony
as well as various applications in the areas of bioinformatics, data
mining, telecommunication networks and transportation, among
others.
His work has been featured in top International Conferences (CP, EA, ECAI, EvoBIO&EvoCOP, EMO, GECCO, IEEE CEC, ICTAI, IJCAI, MIC, PPSN) and Journals (Annals of Operations Research, European
J. of Operational Research, Evolutionary Computation, Computers &
Industrial Engineering, Computers & Operations Research, Discrete
Applied Mathematics, Briefings in Bioinformatics, IEEE/ACM Trans. on Computational Biology and
Bioinformatics, Genomics Proteomics &
Bioinformatics, J. of Combinatorial Optimization, Computational
Optimization and Applications, J. of Heuristics, Intl. J. of
Metaheuristics, Intl. J. of Mathematics in Operational Research, J. of
Mathematical Modelling and Algorithms, Intl J. of Mobile
Network Design & Innovation, RAIRO Operations Research,
Transportation Research). His published work has been
recognized by multiple awards (PATAT-WATT 2007 ITC Competition, 2004
SAT Competition, EvoCOP 2009, MICAI 2006, PPSN 1996) and includes more
than one hundred peer-reviewed publications in international journals,
book chapters and conference proceedings in the fields of Metaheuristics,
Evolutionary Computation, Combinatorial Optimization, Bioinformatics, Constraint
Programming and Artificial Intelligence.
He has supervised
and worked on several
real world applications including business relationship
inference
in the Internet, antenna positioning and frequency
assignment for mobile radio networks, daily
photograph
scheduling of an earth observation satellite, integrated
scheduling of vehicles and drivers, sports league scheduling,
timetabling and decision making for
marketing investment.
He has initiated a number of important R&D projects including
an
EC funded Esprit project (96-99) and French National Research Network
RNRT project (1999-2002). Since 2001, he has been working on
"Heuristic Algorithms for Bioinformatics" within the Ouest
Genepole, the CER "Post-Genome" and Regional Bioinformatics
programs. He is involved in several internatinal collaboration
programs, in particular with China, Canada, Mexico, Tunisia and USA.
Dr. Hao has
served as an Invited Member of more than one
hundred Program
Committees of the chief International
and National Conferences and
serves
regularly as a reviewer for some thirty well-established Journals
in his research domain. He is on the
Editorial
Board of three International Journals and participated
in
the organization of several Conferences and Workshops in addition to co-editing four
volumes
of Springer LNCS series. In his capacity as a Professor, he has
supervised more than twenty defended PhD theses till 2009 and served as
an external examiner of more than sixty PhD
Examination Boards (in France and abroad).
Jin-Kao
Hao was born in Nov. 1961
in China. He graduated in 1982 from the National
University of Defense Technology (School
of Computer Science) (China). He received a Master degree
(Oct.
87) from the National Institute of Applied Sciences (INSA Lyon,
France), Ph.D. in Constraint Programming (Feb. 91, suppervised by Prof. Jean-Jacques
Chabrier of the University of Burgundy, Dijon, France) and the
Professorship Diploma HDR (Habilitation a Diriger des Recherches)
(Jan. 98) from the University of Montpellier II (France).
Selected
publications since 1995
(Examples
citing our papers can be found from Google
Scholar, see also DBLP
or Google(CiteSeer)
Journals,
books and refereed
conferences
(If
you encounter problems to download any paper, you may contact me at
mailto:
jin-kao.hao[at]univ-angers.fr, replace [at] by @)
- Daniel
Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz. An Evolutionary Approach with Diversity Guarantee and Well-Informed Grouping Recombination for Graph Coloring. Computers
& Operations Research 37(10): 1822-1832, 2010. Draft (pdf, doi) Elsevier©
-
Daniel
Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz. A Search Space Cartography for Guiding Graph Coloring Heuristics. Computers
& Operations Research 37(4): 769-778, 2010. Draft (pdf, doi) Elsevier©
- Zhipeng Lü and
Jin-Kao Hao. A Memetic Algorithm for Graph Coloring. European Journal of Operational
Research 203(1): 241-250, 2010.
Draft (pdf) Elsevier© (Program Code is HERE, Readme is HERE)
- Zhipeng Lü and
Jin-Kao Hao.
Adaptive Tabu Search for Course Timetabling. European Journal of Operational
Research 200(1): 235-244, 2010.
Draft (pdf) Elsevier©
- Fred Glover and
Jin-Kao Hao. The Case for Strategic Oscillation. Accepted in July 2009 and to appear in Annals of Operations Research. DOI10.1007/s10479-009-0597-1, Draft (pdf)
Springer©
- Zhipeng
Lü, Jin-Kao Hao, Fred Glover. Neighborhood Analysis: A Case Study on Curriculum-Based Course Timetabling. Accepted in January 2010 and to appear in Journal of
Heuristics.
(pdf) Springer©
- Fred Glover, Zhipeng Lü,
Jin-Kao Hao. Diversification-Driven Tabu Search for Unconstrained Binary Quadratic Problems. Accepted in November 2009 and to appear in 4OR. Draft (pdf)
Springer©
- Zhipeng
Lü, Fred Glover, Jin-Kao Hao. Neighborhood
Combination for Unconstrained Binary Quadratic Problems. In S. Voss and
M. Caserta (Eds.): MIC-2009 Post-Conference Book. Draft (pdf),
Springer© .
- Fred Glover and
Jin-Kao Hao. Fast 2-flip Move Evaluations for Binary Unconstrained Quadratic Optimization Problems. Accepted in July 2009 and to
appear in International
Journal of Metaheuristics, 2009. Draft (pdf),
Inderscience
Publishers©
- Fred Glover and
Jin-Kao Hao. Efficient Evaluation for Solving 0-1 Unconstrained Quadratic Optimization Problems. Accepted in May 2009 and to
appear in International
Journal of Metaheuristics, 2009. Draft (pdf),
Inderscience
Publishers©
- Giglia Gomez Villouta, Jean-Philippe Hamiez, Jin-Kao Hao.
Tabu Search with Consistent Neighbourhood for Strip Packing. To appear
in C. Fyfe, N. Garcia-Pedrajas, F. Herrera, M. Ali (Eds.): IEA/AIE 2010 Lecture Notes in Computer Science , 2010. (pdf)
Springer©
- Valérie Guihaire
and Jin-Kao Hao. Improving
Timetable Quality in Scheduled Transit Networks. To appear in C. Fyfe,
N. Garcia-Pedrajas, F. Herrera, M. Ali (Eds.): IEA/AIE 2010 Lecture Notes in Computer Science , 2010. (pdf)
Springer©
- Valérie Guihaire
and Jin-Kao Hao. Transit Network Timetabling and Vehicle Assignment for Regulating Authorities. Accepted in February 2010 and to appear in Computers
& Industrial Engineering Draft (pdf) Elsevier©
- Benoit Laurent and
Jin-Kao Hao. Iterated Local Search for the Multiple Depot Vehicle
Scheduling Problem. Computers
& Industrial Engineering 57(1): 277-286, 2009. Draft (pdf), Elsevier©
- Benoit Laurent and
Jin-Kao Hao. List Graph Coloring for Multi-depot Vehicle
Scheduling. International
Journal of Mathematics in Operational Research 1(1-2): 228-245, 2009. Draft (pdf),
Inderscience
Publishers©
- Béatrice Duval and Jin-Kao Hao. Advances in Metaheuristics for Gene Selection and Classification of Microarray Data. Briefings in Bioinformatics 11(1): 127-141, 2010. Draft (pdf), Oxford Journals©
- Sami Laroum, Dominique Tessier, Béatrice Duval, Jin-Kao Hao. A Local Search Approach for Transmembrane Segment and Signal Peptide Discrimination. In C.
Pizzuti, M.D. Ritchie, M. Giacobini (Eds.): EvoBIO 2010
Lecture Notes in Computer Science 6023: 134-145, 2010. Draft (pdf)
Springer©
- Wassim Ayadi, Mourad Elloumi, Jin-Kao Hao. A Biclustering Algorithm based on a Bicluster Enumeration Tree: Application to DNA Microarray Data. BioData Mining 2009, 2:9. Draft (pdf), BioMed Central.
- Béatrice Duval, Jin-Kao Hao, José Crispin
Hernandez Hernandez. A Memetic Algorithm for Gene Selection and Molecular Classification of Cancer. Proc. of 11th Annual Conference on Genetic and Evolutionary Computation
(GECCO-09), pages 201-208, Montreal, Canada, July 2009. ACM Press.
(pdf) ACM Press©
-
Jean-Michel
Richer, Adrien Goëffon, Jin-Kao Hao. A Memetic Algorithm for
Phylogenetic Reconstruction with Maximum Parsimony. In C.
Pizzuti, M.D. Ritchie, and M. Giacobini (Eds.): EvoBIO 2009
Lecture Notes in Computer Science 5483:
164-175, 2009. (pdf)
Springer©
- Zhipeng
Lü and Jin-Kao Hao. A Critical Element-Guided
Perturbation Strategy for Iterated Local Search. In C. Cotta and P. Cowling
(Eds.): EvoCOP 2009,
Lecture Notes in Computer Science 5482:
1–12. 2009. (pdf)
Springer©.
- Jean-Philippe Hamiez, Julien Robet, Jin-Kao Hao. A Tabu Search Algorithm with Direct Representation for
Strip Packing. In C. Cotta and P. Cowling (Eds.): EvoCOP 2009, Lecture
Notes in Computer Science
5482:
61–72, 2009. (pdf)
Springer©
-
Daniel
Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz. Position-Guided Tabu Search Algorithm for the Graph Coloring Problem. In T. Stuetzle (Ed.), selected papers from Learning and Intelligent OptimizatioN (LION III), Lecture Notes in Computer
Science 5851: 148-162, 2009. (pdf)
Springer©
- Daniel
Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz. Diversity Control and
Multi-Parent Recombination for Evolutionary Graph Coloring Algorithms.
In C. Cotta and P. Cowling (Eds.): EvoCOP 2009 (Best Paper Nominee), Lecture Notes in Computer
Science
5482: 121–132, 2009. (pdf)
Springer©.
- Matthias Ehrgott,
Carlos M. Fonseca,
Xavier Gandibleux,
Jin-Kao Hao,
Marc Sevaux (Eds.):
Evolutionary Multi-Criterion Optimization, Proceedings of 5th
International Conference, EMO 2009, Nantes, France, April 7-10, 2009.
- Jean-Philippe Hamiez,
Jin-Kao Hao. Using Solution Properties within an Enumerative Search to Solve a Sports League Scheduling Problem. Discrete Applied Mathematics
156(10): 1683-1693, 2008. Draft (pdf) Elsevier©
- Eduardo Rodriguez-Tello,
Jin-Kao Hao, José Torres-Jimenez. An improved
Simulated
Annealing algorithm for bandwidth minimization. European Journal of Operational
Research 185(3):
1319-1335, 2008. Draft (pdf)
Elsevier©
- Eduardo Rodriguez-Tello,
Jin-Kao Hao and José Torres-Jimenez. An effective two-stage
simulated annealing algorithm for the Minimum Linear Arrangement
problem. Computers
& Operations Research 35(10):
3331-3346,
2008. Draft (pdf) Elsevier©
- Valérie Guihaire
and Jin-Kao Hao. Transit network design and scheduling: a global
review. Transportation
Research Part A: Policy and Practice 42: 1251-1273, 2008. Draft (pdf), Elsevier©
- Valérie Guihaire
and Jin-Kao Hao. Transit network re-timetabling and vehicle
scheduling.
Communications in Computer and Information Science (CCIS) 14:
135-144,
Springer, 2008 (pdf)
Springer©
- Oliver Bailleux and Jin-Kao Hao, Stochastic search
algorithms (in French). In L. Sais (Ed.), "Problem SAT:
progresses and challenges", Chapter 5, Draft
(pdf),
Hermes, 2008.
- Alexandre Caminada, Jin-Kao Hao, Jean-Luc Lutton and
Vincent Martin, Telecommunication networks. In G. Finke (Ed.), "Operational
Research and Networks", Chapter 7, Wiley, 2008.
- Benoit Laurent and Jin-Kao
Hao. Simultaneous vehicle and driver scheduling: a case study in a
limousine rental company. Computers
& Industrial Engineering 53(3): 542-558, 2007. Draft (pdf) Elsevier©
- Adrien Goëffon,
Jean-Michel Richer and Jin-Kao Hao, Progressive tree neighborhood
applied to the Maximum Parsimony problem. IEEE/ACM Transactions on Computational
Biology and Bioinformatics 5(1):
136-145, 2008. Draft (pdf)
IEEE
CSP©.
Software is available HERE.
- Edmundo Bonilla Huerta,
Béatrice Duval and Jin-Kao Hao, Fuzzy logic for elimination
of redundant information of microarray data. Genomics Proteomics &
Bioinformatics 6(2):
61-73, June 2008. Draft (pdf) Elsevier©
- Edmundo Bonilla Huerta,
Béatrice Duval and Jin-Kao Hao, Gene selection for
Microarray data by a LDA-based genetic algorithm. Lecture Notes in Bioinformatics 5265:
252-263, Springer-Verlag,
2008 (pdf)
Sprigner©
- José Crispin
Hernandez Hernandez, Béatrice Duval and Jin-Kao Hao,
SVM-based local search for gene selection and classification of
Microarray data. Communications
in Computer and Information Science (CCIS) 13: 599-598, Springer, 2008 (pdf)
Springer©
- Zhipeng Lü and
Jin-Kao Hao. Solving the course timetabling problem with a hybrid
heuristic algorithm. Lecture
Notes in Computer Science 5253: 262-273, Springer, 2008, Draft (pdf)
Springer©
- Benoït Laurent
and Jin-Kao Hao, Simultaneous vehicle and crew scheduling for extra
urban transports. Lecture
Notes in Artificial Intelligence 5027: 466–475, Springer, 2008, Draft (pdf)
Springer©
- Benoit Laurent and Jin-Kao
Hao, A study of neighborhood structures for the multiple depot vehicle
scheduling problem. Lecture
Notes in Computer Science 4638:
197-201, Springer, 2007 (pdf)
Springer©
- Daniel Porumbel, Jin-Kao
Hao and Pascale Kuntz, A study of evaluation functions for the graph
K-coloring problem. Selected papers from the 8th International
Conference on Artificial Evolution (EA-07). Lecture Notes in Computer Science
4926: 124-135, Springer, 2008. (pdf)
Springer©
- José Crispin
Hernandez Hernandez, Béatrice Duval and Jin-Kao
Hao. A study of crossover operators for gene selection of
microarray data. Selected papers from the 8th International Conference
on Artificial Evolution (EA-07). Lecture
Notes in Computer Science 4926:
243-254, Springer, 2008. (pdf)
Springer©
- José Crispin
Hernandez Hernandez, Béatrice Duval and Jin-Kao Hao. A
genetic embedded approach for gene selection and classification of
microarray data. Lecture
Notes in Computer Science 4447:
90-101, Springer, 2007. (pdf) Springer©
- Jean-Michel Richer, Vincent
Derrien, and Jin-Kao Hao. A new dynamic programming algorithm for
multiple sequence alignment. Lecture
Notes in Computer Science 4616:
52-61, Springer-Verlag, 2007. (pdf)
Springer©
- Eduardo Rodriguez-Tello,
Jin-Kao Hao and José Torres-Jimenez, A refined
evaluation function for the MinLA problem. Lecture Notes in Artificial
Intelligence:
4293: 392-403, Springer-Verlag, 2006 (5th Mexican International Conference on
Artificial Intelligence, Best paper award, 3rd price), (pdf)
Springer©
- Jean-Philippe Hamiez and
Jin-Kao Hao, Sports league scheduling: enumerative searh for Prob026
from CSPLib. Lecture
Notes in Computer Science 4204:
716-720, Springer-Verlag, 2006. (pdf)
Springer©
- Adrien Goëffon,
Jean-Michel Richer and Jin-Kao Hao, A distance-based information
preservation tree crossover for the maximum parsimony problem. Lecture Notes in Computer Science
4193: 761-770, Springer-Verlag,
2006. (pdf)
Springer©.
Software is available HERE.
- Edmundo Bonilla Huerta,
Béatrice Duval and Jin-Kao Hao, A hybrid GA/SVM approach for
gene selection and classification of Microarry data. Lecture Notes in Computer Science
3907: 34-44, Springer-Verlag, 2006.
(pdf) Springer©
- Benoit Laurent, Valerie
Guihaire and Jin-Kao Hao, A heuristic solution for a driver-vehicule
scheduling problem. Operations Research Proceedings 2005: 703-708,
Springer-Verlag, 2006. (pdf)
Springer©
- Eduardo Rodriguez-Tello,
Jin-Kao Hao and Jose Torres-Jimenez, Memetic algorithms for the MinLA
problem. Lecture
Notes in Computer Science 3871:
73-84, Springer-Verlag, 2006. (pdf)
Springer©
- Frédéric
Lardeux, Frédéric Saubion and Jin-Kao Hao, GASAT:
a genetic local search algorithm for the satisfibility problem. Evolutionary Computation
14(2): 223-253, 2006. (pdf)
MIT
Press©
- Daniela Claro, Patrick
Albers and Jin-Kao Hao, Web services composition. In J. Cardoso, Sheth, Amit (Eds.)
"Semantic Web Services, Processes and Applications", Chapter
8, 2006, (pdf)
Springer©
- Eduardo Rodriguez-Tello,
Jin-Kao Hao and J. Torres-Jimenez, A comparison of memetic
recombination operators for the MinLA problem. Lecture Notes in Computer Science 3789: 613-622, Springer-Verlag, 2005. (pdf)
Springer©
- Adrien Goëffon,
Jean-Michel Richer and Jin-Kao Hao, Local search for the maximum
parsimony problem. Lecture
Notes in Computer Science 3612:
678-683. Springer-Verlag, 2005. (pdf)
Springer©
- Vincent Derrien, J.M.
Richer and Jin-Kao Hao, Plasma, a progressive algorithm for multiple
sequence alignment (in French). Proceedings
of French Open Days on Biology, Computer Science and Mathematics
(JOBIM-05),
Lyon, July 6-8 2005. (pdf).
To use our Plasma multiple alignment tool, click here.
- Frédéric
Lardeux, Frédéric Saubion and Jin-Kao Hao, Three
truth values for SAT and MAX-SAT problems. Proc. of the 19th International Joint
Conference on Artificial Intelligence (IJCAI-05), pp187-192, Edinburgh, July-August, 2005. (pdf)
- Hakim Mabed, Alexandre
Caminada and Jin-Kao Hao, Impact of tradeoff between blocking and
interference on TDMA cell capacity planning. International Journal of Mobile
Network Design and Innovation, (1)1:24-33, 2005. Inderscience
Publishers©.
- Hervé Deleau,
Jin-Kao Hao and Frédéric Saubion, Hybrid
strategies for solving constraint satisfaction problems (in French). RAIRO Operational Research 39:87-103, 2005. (pdf)
EDP
Sciences©.
- Jean-Philippe Hamiez and
Jin-Kao Hao, A linear-time algorithm to solve the sports league
scheduling problem. Discrete
Applied Mathematics 143:
252-265, 2004. Draft (postscript)
(pdf)
Elsevier©.
- Philippe Galinier and
Jin-Kao Hao, A general approach for constraint solving by local search.
Journal of
Mathematical Modelling and Algorithms 3(1): 73-88, 2004. Draft. (pdf)
Springer©
- Eduardo Rodriguez-Tello,
Jin-Kao Hao, Jose Torres-Jimenez, An improved evaluation function for
the bandwidth minimization problem. Lecture
Notes in Computer Science 3242:
650-659, Springer-Verlag, 2004. (pdf)
Springer©
- Vincent Barichard,
Hervé Deleau, Jin-Kao Hao, Frédéric
Saubion, A hybrid evolutionary algorithm for constraint satisfaction
problems. Lecture
Notes in Computer Science 2936:
79-90, Springer-Verlag, 2004. (pdf)
Springer©
- Frédéric
Lardeux, Frédéric Saubion and Jin-Kao Hao,
Recombination operators for satisfiability problems. Lecture Notes in Computer Science
2936: 103-114,
Springer-Verlag, 2004. (pdf)
Springer©
- Vincent Barichard and
Jin-Kao Hao, A population and interval constraint propagation
algorithm. Lecture
Notes in Computer Science 2632:
88-101, Springer-Verlag, 2003. (postscript)
(pdf)
- Vincent Barichard and
Jin-Kao Hao, Genetic tabu search for the multi-objective knapsack
problem. Journal
of Tsinghua Science and Technology, 8(1): 8-13, 2003. (postscript)
(pdf)
Elsevier©.
- Jin-Kao Hao,
Frédéric Lardeux and
Frédéric Saubion, Evolutionary computing for the
satisfiability problem. Lecture
Notes in Computer Science 2611: 258-268, Springer-Verlag, 2003. (postscript)
(pdf)
Springer©
- Michel Vasquez and Jin-Kao
Hao, Upper bounds for the SPOT 5 daily photograph scheduling problem. Journal of Combinatorial Optimization
7(1): 87-103,2003. Draft
(postscript)
(pdf)
Springer©
- Jean-Philippe Hamiez and
Jin-Kao Hao, An analysis of solution properties of the graph coloring
problem. "Metaheuristics:
Computer Decision-Making",
Chapter 15, pp325-346, M.G.C. Resende and J.P. de Sousa (Eds.), Kluwer,
2003. (postscript)
(pdf).
- Hakim Mabed, Alexandre
Caminada and Jin-Kao Hao, Multi-period channel assignment. Lecture Notes in Computer Science 2775: 541-554, Springer-Verlag, 2003. (pdf)
Springer©
- Nicolas Pech-Gourg, Jin-Kao Hao,
Métaheuristiques pour l'optimisation de règles de
classification de bouchons naturels en liege. Revue
d'Extraction des Connaissances et Apprentissage (ECA), 16(6)
: 785-806, Hermès, 2003. (In French)
- Hakim Mabed, Alexandre
Caminada, Jin-Kao Hao and Denis Renaud, A dynamic traffic model for
frequency assignment. Lecture
Notes in Computer Science 2439: 779-788, Springer-Verlag, 2002. (pdf)
Springer©
- Jean-Philippe Hamiez and
Jin-Kao Hao, Scatter search for graph coloring. Lecture Notes in Computer Science 2310: 168-179, Springer-Verlag, 2002. (postscript)
(pdf)
Springer©
- Alexandre Caminada, Jin-Kao Hao, Jean-Luc Lutton, Vincent
Martin, Réseaux de télécommunications.
In G. Finke (Ed.) "Recherche Opérationnelle et
Réseaux" traité IGAT, Chapitre 7,
pp196-240, Hermès, 2002. (In French)
- Mériéma
Bélaidouni and Jin-Kao Hao, SAT, local search dynamics and
density of states. Leture
Notes in Computer Science 2310: 192-204, Springer, 2002. (postscript)
(pdf)
Springer©
- Jean-Philippe Hamiez and
Jin-Kao Hao, Solving the sports league scheduling problem with Tabu
search. Lecture
Notes in Artificial Intelligence 2148: 24-36, Springer-Verlag, 2001. (postscript)
(pdf).
Springer©
- Michel Vasquez and Jin-Kao
Hao, A hybrid approach for the multidimensional 0-1 knapsack problem. Proc. of the 17th Intl. Joint
Conference on Artificial Intelligence (IJCAI-01), pages 328-333, Seattle, Washington, USA,
August 2001. Morgan Kaufmann Publishers. (postscript)
(pdf)
- Nicolas Pech-Gourg and
Jin-Kao Hao, A genetic algorithm for the classification of natural
corks. Proc. of
2001 Genetic and Evolutionary Computation Conference
(GECCO-01),
pages 1382-1388, San Francisco, California, July 2001. Morgan Kaufmann
Publishers. (postscript)
(pdf)
- Michel Vasquez and Jin-Kao
Hao, A heuristic approach for antenna positioning in cellular networks.
Journal of
Heuristics.
7(5): 443-472, 2001. (postscript)
(pdf)
Springer©
- Michel Vasquez and Jin-Kao
Hao, A "logic-constrained" knapsack formulation and a Tabu algorithm
for the daily photograph scheduling of an earth observation satellite. Computational Optimization and
Applications 20(2):
137-157, 2001. (postscript)
(pdf)
Springer©
- Michel Vasquez and Jin-Kao
Hao, Une approche hybride pour le problème de
sac-à-dos multidimensionnel. RAIRO Operational Research
35(4): 415-438, 2001. (pdf)
EDP
Sciences©
- Pierre Collet, Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton,
Marc Schoenauer (Ed.), Lecture Notes in Computer Science 2310,
Springer-Verlag, ISBN 3-540-43544-1, 2002. Selected Papers Selected
papers from the 5th European Conference on Artificial Evolution
(AE-01), Le Creusot, France, Oct. 2001.
- Mériéma
Bélaidouni and Jin-Kao Hao, Analysis of the configuration
space of the maximal constraint satisfaction problem. Lecture Notes in Computer Science
1917: 49-58,
Springer-Verlag, 2000 (postscript)
(pdf)
Springer©
- Mériéma
Bélaidouni and Jin-Kao Hao, Landscapes of the maximal
constraint satisfaction problem. Lecture
Notes in Computer Science 1829: 244-255, Springer-Verlag, 2000. (postscript)
(pdf)
Springer©
- Mériéma
Bélaidouni and Jin-Kao Hao, A measure of combinational
landscape difficulty for the Metropolis algorithm. Artificial Intelligence and
Mathematics VI,
Fort Lauderdale, Florida, January 2000. (postscript)
- Jean-Philippe Hamiez and
Jin-Kao Hao, Recherche tabou et planification de rencontres sportives
Tabu Search and sports league scheduling. RFIA 2000, Paris, Jan. 2000. (pdf)
- Cyril Fonlupt, Jin-Kao Hao,
Evelyne Lutton, Edmund Ronald and Marc Schoenauer (Eds.), Selected
papers from the 4th
European Conference on Artificial Evolution (EA-99), Dunkerque, France, Nov. 2000, Lecture Notes in Computer Science 1829, ISBN-3-540-67846-8, Springer, 349 pages,
2000.
- Philippe Galinier and
Jin-Kao Hao, Hybrid evolutionary algorithms for graph coloring. Journal of Combinatorial Optimization. 3(4): 379-397, 1999. (Draft version
is here postscript
or pdf)
Springer©
- Jin-Kao Hao, Philippe
Galinier and Michel Habib, Metaheuristiques pour l'optimisation
combinatoire et l'affectation sous contraintes. Revue d'Intelligence Artificielle, 13(2): 283-324, 1999. Hermes. (Draft version postscript
or pdf)
- Raphaël Dorne and
Jin-Kao Hao, A new genetic local search algorithm for graph coloring. Lecture Notes in Computer Science 1498: 745-754, Springer-Verlag, Sept. 1998. (Best Paper Nominee, Parallel Problem Solving from Nature - PPSN
V, Amsterdam, The Netherlands, Sept, 1998) (postscript)
(pdf)
Springer©
- Jin-Kao Hao,
Raphaël Dorne and Philippe Galinier, Tabu search for frequency
assignment in mobile radio networks. Journal
of Heuristics, 4(1):
47-62, 1998. Draft (postscript
or pdf)
Springer©
- Raphaël Dorne and
Jin-Kao Hao, Tabu search for graph coloring, T-colorings and set
T-colorings. "Meta-heuristics:
Advances and Trends in Local Search Paradigms for Optimization", Chapter 6, pp77-92, S. Voss, S. Martello,
I.H. Osman and C. Roucairol (Eds.), Kluwer, 1998. (Draft version is
here postscript
or pdf)
- Philippe Galinier and
Jin-Kao Hao, Solving the progressive party problem by local search. "Meta-heuristics: Advances and Trends
in Local Search Paradigms for Optimization", Chapter 29, pp418-432, S. Voss, S. Martello,
I.H. Osman and C. Roucairol (Eds.), Kluwer, 1998. (Draft version is
here postscript
or pdf)
- Jin-Kao Hao, Evelyne
Lutton, Edmund Ronald, Marc Schoenauer and D. Snyers (Eds.), Proc. of
European Conference on Artificial Evolution (AE-97), Nimes, Oct. 1997, Lecture Notes in Computer Science 1363, ISBN 3-540-64169-6, Springer-Verlag, 349
pages, February 1998.
- Jin-Kao Hao and
Jérôme Pannier, Simulated annealing and tabu
search for constraint solving. Artificial
Intelligence and Mathematics V, Electronic Proceeding
http://rutcor.rutgers.edu/~amai/Proceedings.html, January 1998. (postscript)
(pdf)
- Jin-Kao Hao and
Jérôme Pannier, Etude expérimentale de
recherche locale pour la résolution de contraintes. 11eme Congres on Reconnaissance des
Formes et Intelligence Artificielle, Vol. II, pp97-106, Jan. 1998. (postscript)
(pdf)
- Philippe Galinier and
Jin-Kao Hao, Tabu search for maximal constraint satisfaction problems. Lecture Notes in Computer Science 1330: 196-208, Springer-Verlag, Nov., 1997. (postscript)
(pdf)
Springer©
- Raphaël Dorne and
Jin-Kao Hao, Constraint handling in evolutionary search: a case study
on frequency assignment. Lecture
Notes in Computer Science 1141 : 801-810, Springer-Verlag, Sept. 1996. (postscript)
(pdf)
Springer©
- Jin-Kao Hao and
Raphaël Dorne, Empirical studies of heuristic local search for
constraint solving. Lecture
Notes in Computer Science 1118: 194-208, Springer-Verlag, Aug. 1996. (postscript)
(pdf)
Springer©
- Jin-Kao Hao and Laurent.
Tetart, CH-SAT: a complete procedure for satisfiability problems. ECAI'96 Workshop on Advances in
Propositional Deduction,
pp27-38, Aug. 1996. (postscript)
(pdf)
- Raphaël Dorne and
Jin-Kao Hao, An evolutionary approach for frequency assignment in
cellular radio networks. Proc.
of IEEE Intl. Conf. on Evolutionary Computation, Perth, Australia, Nov.-Dec. 1995, IEEE Press.
pp539-544. (postscript)
(pdf)
- Jin-Kao Hao and
Raphaël Dorne, Study of genetic search for the frequency
assignment problem. Lecture
Notes in Computer Science 1063: 333-344, Springer-Verlag, Sept. 1995. (postscript)
(pdf)
Springer©
- Jin-Kao Hao, A clausal
genetic representation and its related evolutionary procedures for
satisfiability problems. Proc.
of Intl. Conf. on Artificial Neural Nets & Genetic Algorithms, Springer-Verlag, pp289-292, April 1995. (postscript)
(pdf)
Springer©
- Jin-Kao Hao and
Raphaël Dorne, A new population-based method for
satisfiability problems. Proc.
of 11th European Conf. on Artificial Intelligence (ECAI-94), John Wiley & Sons, pp135-139,
Amsterdam, Aug. 1994. (postscript)
(pdf)
- Jin-Kao Hao and Raphaël Dorne, An empirical
comparison of two evolutionary methods for satisfiability problems. Proc.
of IEEE Intl. Conf. on Evolutionary Computation, IEEE Press,
pp450-455, June-July 1994.
Thesis
and tutorial
-
Jin-Kao
Hao, Metaheuristics for combinatorial optimization (slides of a
tutorial). April 2001 (English version is here pdf)
(French version is here pdf)
-
Jin-Kao
Hao, Metaheuristics for combinatorial optimization and constrained
solving (in French). Habilitation thesis (Professorship
Diploma), Univerisity of Montpellier II, January 1998.
-
Jin-Kao
Hao, A study of partial evaluation for constraint logic programming (in
French). Ph.D thesis, University of Burgundy,
February 1991.
Back to: Homepage
Beginning, Computer
Science Lab. LERIA, Department
of Computer Science, Faculty of Sciences, University
of Angers, City
of Angers, France