| 2008 |
|---|
| 5 | EE | Frédéric Lardeux,
Eric Monfroy,
Frédéric Saubion:
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.
AIMSA 2008: 380-384 |
| 2006 |
|---|
| 4 | EE | Frédéric Lardeux,
Frédéric Saubion,
Jin-Kao Hao:
GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem.
Evolutionary Computation 14(2): 223-253 (2006) |
| 2005 |
|---|
| 3 | EE | Frédéric Lardeux,
Frédéric Saubion,
Jin-Kao Hao:
Three Truth Values for the SAT and MAX-SAT Problems.
IJCAI 2005: 187-192 |
| 2003 |
|---|
| 2 | EE | Frédéric Lardeux,
Frédéric Saubion,
Jin-Kao Hao:
Recombination Operators for Satisfiability Problems.
Artificial Evolution 2003: 103-114 |
| 1 | EE | Jin-Kao Hao,
Frédéric Lardeux,
Frédéric Saubion:
Evolutionary Computing for the Satisfiability Problem.
EvoWorkshops 2003: 258-267 |
