TY - THES DP - http://www.theses.fr/2005ANGE0024 TI - Approches hybrides pour les problèmes de satisfiabilité (SAT et MAX-SAT) AU - Lardeux, Frédéric A3 - Hao, Jin-Kao PY - 2005 SP - 1 vol. (x-158 p.) N1 - Thèse de doctorat Informatique Angers 2005 N1 - 2005ANGE0024 ER -