|
Search the dblp DataBase
Frédéric Lardeux:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
Recombination Operators for Satisfiability Problems. [Citation Graph (0, 0)][DBLP] Artificial Evolution, 2003, pp:103-114 [Conf]
- Jin-Kao Hao, Frédéric Lardeux, Frédéric Saubion
Evolutionary Computing for the Satisfiability Problem. [Citation Graph (0, 0)][DBLP] EvoWorkshops, 2003, pp:258-267 [Conf]
- Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
Three Truth Values for the SAT and MAX-SAT Problems. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:187-192 [Conf]
- Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem. [Citation Graph (0, 0)][DBLP] Evolutionary Computation, 2006, v:14, n:2, pp:223-253 [Journal]
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. [Citation Graph (, )][DBLP]
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints. [Citation Graph (, )][DBLP]
Autonomous Control Approach for Local Search. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|