@INPROCEEDINGS{lardeuxAIMSA08,
author = {Fr{\'e}d{\'e}ric Lardeux and Eric Monfroy and Fr{\'e}d{\'e}ric Saubion},
title = {Interleaved Alldifferent Constraints: CSP vs. SAT Approaches},
booktitle = {AIMSA},
year = {2008},
pages = {380-384}
}
@INPROCEEDINGS{lardeuxCSCLP08,
author = {Frédéric LARDEUX, Eric MONFROY, Frédéric SAUBION},
title = {Managing Multiple Alldifferent Constraints in CSP and SAT},
booktitle = {Constraint Solving and Constraint Logic Programming (CSCLP)},
year = {2008},
}
@INPROCEEDINGS{lardeuxCLEI08,
author = {Frédéric LARDEUX, Eric MONFROY, Frédéric SAUBION, Broberick CRAWFORD,
Carlos CASTRO},
title = {Overlapping Alldifferent Constraints and the Sudoku puzzle},
booktitle = {XXXIV Conferencia Latinoamericana de Informática (CLEI'08)},
year = {2008},
}
@article{lardeuxECJ06,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem},
journal = {Evolutionary Computation},
volume = {14},
number = {2},
pages = {223-253},
year = {2006},
doi = {10.1162/evco.2006.14.2.223},
URL = {http://www.mitpressjournals.org/doi/abs/10.1162/evco.2006.14.2.223},
eprint = {http://www.mitpressjournals.org/doi/pdf/10.1162/evco.2006.14.2.223}
}
@PhdThesis{,
author = {Fr\'ed\'eric Lardeux},
title = {Approches Hybrides pour les Problèmes de Satisfiabilité (SAT et MAX-SAT)},
school = {LERIA, Université d'Angers},
year = {2005},
month = {novembre},
}
@inproceedings{lardeuxMIC05,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Local Search with Three Truth Values for SAT Problems},
booktitle = {Proc. of the 6th Metaheuristics International Conference (MIC'05)},
year = {2005},
month = {aug},
address = {Vienna, Austria},
}
@inproceedings{lardeuxIJCAI05,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Three Truth Values for the SAT and MAX-SAT Problems },
booktitle = {Proc. of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2005},
month = {aug},
address = {Edinburgh, Scotland}
}
@inproceedings{lardeuxJFPC05,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Une Vision Trivaluée pour les Probl\`emes SAT et MAX-SAT},
booktitle = {Proc. of the 1st JFPC},
year = {2005},
month = {jun},
address = {Lens, France},
}
@inproceedings{lardeuxROADEF05,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Combinaison d'heuristiques pour le problème MAX-SAT},
booktitle = {Proc. of the 6th ROADEF},
year = {2005},
month = {feb},
address = {Tours, France}
}
@inproceedings{lardeuxDEAHMH04,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {A Resolution Framework to Combine Exact and Approximate Methods for SAT and MAX-SAT Problems},
booktitle = {Proc. of the 4th EU/ME Workshop on Design and Evaluation of Advanced Hybrid Meta-Heuristics},
year = {2004},
month = {nov},
address = {Nottingham, UK}
}
@inproceedings{lardeuxCOSOLV04,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Combination of Exact and Approximate Methods for SAT and MAX-SAT Problems},
booktitle = {Proc. of the 4th Workshop on Cooperative Solvers in Constraint Programming (COSOLV)},
year = {2004},
month = {sep},
address = {Toronto, Canada}
}
@inproceedings{lardeuxFRANCORO04,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Combinaison de mécanismes de résolution pour le problème MAX-SAT},
booktitle = {Proc. of the 4th FRANCORO},
year = {2004},
month = {aug},
address = {Fribourg, Suisse}
}
@inproceedings{lardeuxJNPC04,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Un algorithme tabou tri-valué hybride pour le problème MAX-SAT},
booktitle = {Proc. of the 10th JNPC},
year = {2004},
month = {jun},
address = {Angers, France}
}
@inproceedings{lardeuxSAT04,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {The GASAT Solver},
booktitle = {Proc. of the SAT 2004 Competition : Solver Descriptions},
year = {2004},
month = {may},
address = {Vancouver, Canada}
}
@inproceedings{lardeuxEA03,
author = {Fr\'ed\'eric Lardeux and
Fr\'ed\'eric Saubion and
Jin-Kao Hao},
title = {Recombination Operators for Satisfiability Problems},
booktitle = {Proc. of the 6th International Conference on Artificial Evolution},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
pages = {103-114},
year = {2003},
month = {oct},
address = {Marseille, France},
}
@inproceedings{lardeuxMIC03,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Recombination Operators for Satisfiability Problems},
booktitle = {Proc. of the 5th Metaheuristics International Conference (MIC'03)},
year = {2003},
month = {aug},
address = {Kioto, Japan},
}
@inproceedings{lardeuxJNPC03,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {GASAT : une approche hybride pour le problème SAT},
booktitle = {Proc. of the 9th JNPC},
year = {2003},
month = {jun},
address = {Amiens, France},
}
@TechReport{lardeuxTR03,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {A Chessboard Coloring Problem for SAT Solver},
institution = {LERIA, Universit\'e d'Angers},
year = {2003},
}
@InProceedings{lardeuxEvoCOP03,
author = "Jin-Kao Hao and Fr\'ed\'eric Lardeux and Fr\'ed\'eric
Saubion",
title = "Evolutionary Computing for the Satisfiability
Problem",
booktitle = "Applications of Evolutionary Computing",
year = "2003",
volume = "2611",
series = "LNCS",
pages = {258-267},
month = "14-16 " # apr,
address = "University of Essex, England, UK"
}
@inproceedings{lardeuxROADEF03,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {Un algorithme hybride pour le problème SAT},
booktitle = {Proc. of the 5th ROADEF},
year = {2003},
month = {feb},
address = {Avignon, France},
}
@inproceedings{lardeuxIWH02,
author = {Fr\'ed\'eric Lardeux and Fr\'ed\'eric Saubion and Jin-Kao Hao},
title = {A hybrid Genetic Algorithm for the Satisfiability Problem},
booktitle = {Proc. of the 1rst International Workshop on Heuristics},
year = {2002},
month = {jul},
address = {Beijing, China},
}