Yacine Boufkhad
发表
Leonardo Linguaglossa,
Diego Perino,
Laurent Viennot,
2018,
ArXiv.
Olivier Dubois,
Jacques Mandler,
Yacine Boufkhad,
2000,
SODA '00.
Olivier Roussel,
Yacine Boufkhad,
2000,
AAAI/IAAI.
Yacine Boufkhad,
Thomas Hugel,
2010,
ArXiv.
Maurice Nivat,
Olivier Dubois,
Yacine Boufkhad,
2003,
Theor. Comput. Sci..
Olivier Roussel,
Olivier Bailleux,
Yacine Boufkhad,
2006,
J. Satisf. Boolean Model. Comput..
Dominique Fortin,
Yacine Boufkhad,
Ider Tseveendorj,
2007
.
Lakhdar Sais,
Éric Grégoire,
Bertrand Mazure,
1997,
IJCAI.
Jean-Loup Guillaume,
Laurent Viennot,
Fabien Mathieu,
2003
.
Bart Selman,
Yannet Interian,
Olivier Dubois,
2005,
Journal of Automated Reasoning.
Diego Perino,
Laurent Viennot,
Fabien Mathieu,
2008,
ArXiv.
Olivier Bailleux,
Yacine Boufkhad,
2020,
ArXiv.
Olivier Bailleux,
Yacine Boufkhad,
2004,
SAT.
Olivier Dubois,
Yacine Boufkhad,
Yacine Boufkhad,
1999,
Theor. Comput. Sci..
Olivier Bailleux,
Yacine Boufkhad,
Yacine Boufkhad,
2003,
CP.
Olivier Roussel,
Olivier Bailleux,
Yacine Boufkhad,
2009,
SAT.
Jacques Carlier,
Pascal André,
Olivier Dubois,
1993,
Cliques, Coloring, and Satisfiability.
Diego Perino,
Laurent Viennot,
Fabien Mathieu,
2009,
2009 IEEE International Symposium on Parallel & Distributed Processing.
Olivier Roussel,
Olivier Bailleux,
Yacine Boufkhad,
2006
.
Olivier Dubois,
Yacine Boufkhad,
2011,
ArXiv.
Diego Perino,
Laurent Viennot,
Pierre Fraigniaud,
2007
.
Diego Perino,
Laurent Viennot,
Fabien Mathieu,
2008,
IPTPS.
Yacine Boufkhad,
Thomas Hugel,
2012,
Discret. Appl. Math..
Yacine Boufkhad,
Thomas Hugel,
2010,
SAT.
Yacine Boufkhad,
O. Dubios,
Yacine Boufkhad,
1997,
J. Algorithms.
Yacine Boufkhad,
1998,
AAAI/IAAI.
Laurent Viennot,
Yacine Boufkhad,
2003
.
Diego Perino,
Laurent Viennot,
Fabien Mathieu,
2009,
2009 Proceedings of 18th International Conference on Computer Communications and Networks.
Leonardo Linguaglossa,
Diego Perino,
Laurent Viennot,
2016,
ArXiv.