| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lucas Bordeaux, João Marques-Silva |
Knowledge Compilation with Empowerment.  |
SOFSEM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi |
The Complexity of Integer Bound Propagation. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Vidal, Lucas Bordeaux, Youssef Hamadi |
Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. |
SOCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
Generalizing consistency and other constraint properties to quantified constraints. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
quantified constraints, Constraint satisfaction, quantified Boolean formulae |
| 1 | Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz |
Experiments with Massively Parallel Constraint Solving. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
A Generalized Framework for Conflict Analysis. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Lucas Bordeaux |
Preface. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
Generalizing Consistency and other Constraint Properties to Quantified Constraints |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Lintao Zhang |
A solver for quantified Boolean and linear constraints. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Horst Samulowitz |
On the stochastic constraint satisfaction framework. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi |
Knowledge Compilation Properties of Tree-of-BDDs. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi |
An Analysis of Slow Convergence in Interval Propagation. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Rother, Lucas Bordeaux, Youssef Hamadi, Andrew Blake |
AutoCollage. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
photomontage, poisson blending, constraint satisfaction, energy minimization, graph cut, image editing |
| 1 | Lucas Bordeaux, Youssef Hamadi, Lintao Zhang |
Propositional Satisfiability and Constraint Programming: A comparative survey. |
ACM Comput. Surv. |
2006 |
DBLP DOI BibTeX RDF |
Search, constraint satisfaction, SAT |
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
CSP Properties for Quantified Constraints: Definitions and Complexity. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Brice Pajot |
Computing Equilibria Using Interval Constraints. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella |
When are Two Web Services Compatible? |
TES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Gwen Salaün |
Using Process Algebra for Web Services: Early Results and Perspectives. |
TES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Lucas Bordeaux, Marco Schaerf |
Describing and Reasoning on Web Services using Process Algebra. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Eric Monfroy |
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. |
Technique et Science Informatiques |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Eric Monfroy |
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. |
JFPLC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou |
Raisonnement sur les propriétés de contraintes numériques. |
JFPLC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou |
Towards Automated Reasoning on the Properties of Numerical Constraints. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Eric Monfroy |
Beyond NP: Arc-Consistency for Quantified Constraints. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou |
Improved bounds on the complexity of kB-consistency. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou |
Amélioration de la complexité des kB-consistances. |
JFPLC |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Frédéric Benhamou |
Automated reasoning on monotonic constraints. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
monotonic constraints, consistency techniques, inference mechanisms, automated reasoning, constraint handling |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")