Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Lardeux, Frédéric - Laboratoire d'Etude et de Recherche en Informatique d'Angers, Université d'Angers
Actes JNPC'03 GASAT : une approche hybride pour le
GASAT: a genetic local search algorithm for the satisfiability problem
A Hybrid Genetic Algorithm for the Satisfiability Problem Jin-Kao Hao, Frdric Lardeux and Frdric Saubion
Combinaison de mecanismes de resolution pour le probl`eme Frederic LARDEUX1
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
Overlapping Alldifferent Constraints and the Sudoku puzzle
Annee : 2005 Nd'ordre : 712
Managing Multiple Alldifferent Constraints in CSP and SAT
