The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Lucas Bordeaux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lucas Bordeaux, Marco Cadoli, Toni Mancini
    CSP Properties for Quantified Constraints: Definitions and Complexity. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:360-365 [Conf]
  2. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Towards Automated Reasoning on the Properties of Numerical Constraints. [Citation Graph (0, 0)][DBLP]
    International Workshop on Constraint Solving and Constraint Logic Programming, 2002, pp:47-61 [Conf]
  3. Lucas Bordeaux, Eric Monfroy
    Beyond NP: Arc-Consistency for Quantified Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:371-386 [Conf]
  4. Lucas Bordeaux, Brice Pajot
    Computing Equilibria Using Interval Constraints. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2004, pp:157-171 [Conf]
  5. Lucas Bordeaux, Frédéric Benhamou
    Automated reasoning on monotonic constraints. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2000, pp:401-0 [Conf]
  6. Gwen Salaün, Lucas Bordeaux, Marco Schaerf
    Describing and Reasoning on Web Services using Process Algebra. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:43-0 [Conf]
  7. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Improved bounds on the complexity of kB-consistency. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:303-308 [Conf]
  8. Lucas Bordeaux, Eric Monfroy
    Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2003, pp:189-202 [Conf]
  9. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Amélioration de la complexité des kB-consistances. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:207-222 [Conf]
  10. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Raisonnement sur les propriétés de contraintes numériques. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:13-0 [Conf]
  11. Lucas Bordeaux, Marco Cadoli, Toni Mancini
    Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:270-284 [Conf]
  12. Lucas Bordeaux, Horst Samulowitz
    On the stochastic constraint satisfaction framework. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:316-320 [Conf]
  13. Lucas Bordeaux, Lintao Zhang
    A solver for quantified Boolean and linear constraints. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:321-325 [Conf]
  14. Lucas Bordeaux, Gwen Salaün
    Using Process Algebra for Web Services: Early Results and Perspectives. [Citation Graph (0, 0)][DBLP]
    TES, 2004, pp:54-68 [Conf]
  15. Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella
    When are Two Web Services Compatible? [Citation Graph (0, 0)][DBLP]
    TES, 2004, pp:15-28 [Conf]
  16. Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
    Propositional Satisfiability and Constraint Programming: A comparative survey. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2006, v:38, n:4, pp:- [Journal]
  17. Carsten Rother, Lucas Bordeaux, Youssef Hamadi, Andrew Blake
    AutoCollage. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Graph., 2006, v:25, n:3, pp:847-852 [Journal]
  18. Lucas Bordeaux, Eric Monfroy
    Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:190-202 [Journal]
  19. Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi
    Knowledge Compilation Properties of Tree-of-BDDs. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:502-507 [Conf]
  20. Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi
    An Analysis of Slow Convergence in Interval Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:790-797 [Conf]
  21. Lucas Bordeaux, Marco Cadoli, Toni Mancini
    Generalizing Consistency and other Constraint Properties to Quantified Constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  22. Experiments with Massively Parallel Constraint Solving. [Citation Graph (, )][DBLP]


  23. A Generalized Framework for Conflict Analysis. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.300secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002