Search the dblp DataBase

Publications of Author

1. Philippe Chatalic, Laurent Simon
   ZRES: The Old Davis-Putman Procedure Meets ZBDD. [Citation Graph (0, 0)][DBLP]
   CADE, 2000, pp:449-454 [Conf]
   
2. Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
   Distributed Reasoning in a Peer-to-Peer Setting. [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:945-946 [Conf]
   
3. Philippe Chatalic, Laurent Simon
   Multi-resolution on compressed sets of clauses. [Citation Graph (0, 0)][DBLP]
   ICTAI, 2000, pp:2-10 [Conf]
   
4. Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
   Scalability Study of Peer-to-Peer Consequence Finding. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2005, pp:351-356 [Conf]
   
5. Laurent Simon, Alvaro del Val
   Efficient Consequence Finding. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2001, pp:359-370 [Conf]
   
6. Gilles Audemard, Laurent Simon
   GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2007, pp:2256-2261 [Conf]
   
7. Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon
   SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies. [Citation Graph (0, 0)][DBLP]
   OTM Conferences (1), 2006, pp:698-703 [Conf]
   
8. Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
   SomeWhere in the Semantic Web. [Citation Graph (0, 0)][DBLP]
   PPSWR, 2005, pp:1-16 [Conf]
   
9. Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella
   The Second QBF Solvers Comparative Evaluation. [Citation Graph (0, 0)][DBLP]
   SAT (Selected Papers, 2004, pp:376-392 [Conf]
   
10. Daniel Le Berre, Laurent Simon
    The Essentials of the SAT 2003 Competition. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:452-467 [Conf]
    
11. Daniel Le Berre, Laurent Simon
    Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:321-344 [Conf]
    
12. Daniel Le Berre, Laurent Simon, Armando Tacchella
    Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:468-485 [Conf]
    
13. Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon
    SomeWhere in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2006, pp:84-99 [Conf]
    
14. Paul W. Purdom, Daniel Le Berre, Laurent Simon
    A parsimony tree for the SAT2002 competition. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2005, v:43, n:1, pp:343-365 [Journal]
    
15. Laurent Simon, Daniel Le Berre, Edward A. Hirsch
    The SAT2002 competition. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2005, v:43, n:1, pp:307-342 [Journal]
    
16. Philippe Chatalic, Laurent Simon
    Multiresolution for SAT Checking. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2001, v:10, n:4, pp:451-481 [Journal]
    
17. Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
    Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:25, n:, pp:269-314 [Journal]
    
18. 
    A Restriction of Extended Resolution for Clause Learning SAT Solvers. [Citation Graph (, )][DBLP]
    
    
19. 
    Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. [Citation Graph (, )][DBLP]
    
    
20. 
    Viewing Boundary "Objects" as Boundary Constructions. [Citation Graph (, )][DBLP]
    
    
21. 
    Predicting Learnt Clauses Quality in Modern SAT Solvers. [Citation Graph (, )][DBLP]
    
    
22. 
    Distributed Consistency-Based Diagnosis. [Citation Graph (, )][DBLP]