Bertrand Mazure

Bertrand Mazure

Université d'Artois - Arras / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 922096
University of Artois
person_outline Bertrand Mazure's MOST POPULAR ARTICLES
1-) Tabu search for SAT Proceedings of the fourteenth national conference on artificial intelligence …, 1997
2-) Boosting complete techniques thanks to local search methods Annals of mathematics and artificial intelligence 22, 319-331, 1998
3-) Recovering and exploiting structural knowledge from CNF formulas Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
4-) On freezing and reactivating learnt clauses International Conference on Theory and Applications of Satisfiability …, 2011
5-) Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. IJCAI 7, 2300-2305, 2007