Boufkhad, Yacine

3 publications

AAAI 2000 Redundancy in Random SAT Formulas Yacine Boufkhad, Olivier Roussel

AAAI 1998 Algorithms for Propositional KB Approximation Yacine Boufkhad

IJCAI 1997 Tractable Cover Compilations Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais