BibSonomy :: author  ::

bookmarks

publications

(24)

• A Generalized Framework for Conflict Analysis.
  Gilles Audemard and Lucas Bordeaux and Youssef Hamadi and Saïd Jabbour and Lakhdar Sais SAT 21-27 (2008)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• Generalizing Consistency and other Constraint Properties to Quantified Constraints
  Lucas Bordeaux and Marco Cadoli and Toni Mancini CoRR abs/0705.3561 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• An Analysis of Slow Convergence in Interval Propagation.
  Lucas Bordeaux and Youssef Hamadi and Moshe Y. Vardi CP 790-797 (2007)
  to dblp by dblp on 2007-10-19 00:00:00
  | URL | BibTeX  
• Knowledge Compilation Properties of Tree-of-BDDs.
  Sathiamoorthy Subbarayan and Lucas Bordeaux and Youssef Hamadi AAAI 502-507 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• A solver for quantified Boolean and linear constraints.
  Lucas Bordeaux and Lintao Zhang SAC 321-325 (2007)
  to dblp by dblp on 2007-05-24 00:00:00
  | URL | BibTeX  
• On the stochastic constraint satisfaction framework.
  Lucas Bordeaux and Horst Samulowitz SAC 316-320 (2007)
  to dblp by dblp on 2007-05-24 00:00:00
  | URL | BibTeX  
• Propositional Satisfiability and Constraint Programming: A comparative survey.
  Lucas Bordeaux and Youssef Hamadi and Lintao Zhang ACM Comput. Surv. 38 (2006)
  to dblp by dblp on 2007-03-06 00:00:00
  | URL | BibTeX  
• Technological development of Brazilian telecommunications in past decades.
  Claudio de A. Loural and Romulo A. Zanco Filho and Antonio Carlos G. Bordeaux Rego and Rogério C. de Oliveira Telematics and Informatics 23 294-315 (2006)
  to dblp by dblp on 2006-08-31 00:00:00
  | URL | BibTeX  
• AutoCollage.
  Carsten Rother and Lucas Bordeaux and Youssef Hamadi and Andrew Blake ACM Trans. Graph. 25 847-852 (2006)
  to dblp by dblp on 2006-08-22 00:00:00
  | URL | BibTeX  
• Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
  Lucas Bordeaux and Eric Monfroy Technique et Science Informatiques 22 190-202 (2003)
  to dblp by dblp and 1 other person on 2006-03-03 00:00:00
  | URL | BibTeX