 | 2009 |
|---|
| 7 |       | Frédéric Lardeux,
Eric Monfroy,
Frédéric Saubion,
Broderick Crawford,
Carlos Castro:
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints.
MICAI 2009: 360-371 |
| 6 | | Julien Robet,
Frédéric Lardeux,
Frédéric Saubion:
Autonomous Control Approach for Local Search.
SLS 2009: 130-134 |
| 2008 |
|---|
| 5 | | Frédéric Lardeux,
Eric Monfroy,
Frédéric Saubion:
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.
AIMSA 2008: 380-384 |
| 2006 |
|---|
| 4 | | 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 | | 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 | | Frédéric Lardeux,
Frédéric Saubion,
Jin-Kao Hao:
Recombination Operators for Satisfiability Problems.
Artificial Evolution 2003: 103-114 |
| 1 | | Jin-Kao Hao,
Frédéric Lardeux,
Frédéric Saubion:
Evolutionary Computing for the Satisfiability Problem.
EvoWorkshops 2003: 258-267 |
