Search the dblp DataBase

Publications of Author

1. Gilles Audemard, Saïd Jabbour, Lakhdar Sais
   Symmetry Breaking in Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2007, pp:2262-2267 [Conf]
   
2. 
   Learning for Dynamic Assignments Reordering. [Citation Graph (, )][DBLP]
   
   
3. 
   Learning for Dynamic Subsumption. [Citation Graph (, )][DBLP]
   
   
4. 
   Control-Based Clause Sharing in Parallel SAT Solving. [Citation Graph (, )][DBLP]
   
   
5. 
   A Generalized Framework for Conflict Analysis. [Citation Graph (, )][DBLP]
   
   
6. 
   Learning for Dynamic subsumption [Citation Graph (, )][DBLP]