|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 12 keywords
|
|
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Learning from conflicts in propositional satisfiability.  |
4OR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais |
Deterministic Parallel DPLL. |
JSAT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Youssef Hamadi, Georg Ringwelski |
Boosting distributed constraint satisfaction. |
J. Heuristics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger |
Lazy Decomposition for Distributed Decision Procedures |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro Fialho, Youssef Hamadi, Marc Schoenauer |
Optimizing architectural and structural aspects of buildings towards higher energy efficiency. |
GECCO (Companion) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Arbelaez, Youssef Hamadi |
Improving Parallel Local Search for SAT. |
LION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Learning for Dynamic Subsumption. |
International Journal on Artificial Intelligence Tools |
2010 |
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 | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura |
Efficiently solving quantified bit-vector formulas. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag |
Continuous Search in Constraint Programming. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Vautard, Arnaud Lallouet, Youssef Hamadi |
A Parallel Solving Algorithm for Quantified Constraints Problems. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Diversification and Intensification in Parallel SAT Solving. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi |
Conclusion to the Special Issue on Parallel SAT Solving. |
JSAT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
ManySAT: a Parallel SAT Solver. |
JSAT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Learning for Dynamic subsumption |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz |
Experiments with Massively Parallel Constraint Solving. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Control-Based Clause Sharing in Parallel SAT Solving. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alejandro Arbelaez, Youssef Hamadi |
Exploiting weak dependencies in tree-based search. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
constraint programming, functional dependencies, constraint satisfaction problems, tree-search |
| 1 | Cédric Piette, Youssef Hamadi, Lakhdar Sais |
Efficient Combination of Decision Procedures for MUS Computation. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura |
A Concurrent Portfolio Approach to SMT Solving. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Learning for Dynamic Subsumption. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Piette, Youssef Hamadi, Lakhdar Sais |
Vivifying Propositional Clausal Formulae. |
ECAI |
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 | 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 | Yek Loong Chong, Youssef Hamadi |
Distributed Log-Based Reconciliation. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown |
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi |
Conflicting Agents in Distributed Search. |
International Journal on Artificial Intelligence Tools |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Marc Shapiro |
Pushing Log-Based Reconciliation. |
International Journal on Artificial Intelligence Tools |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi |
Continuous resources allocation in Internet data centers. |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth |
The Temporal Knapsack Problem and Its Solution. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Ringwelski, Youssef Hamadi |
Boosting Distributed Constraint Satisfaction. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi |
Interleaved Backtracking in Distributed Constraint Networks. |
International Journal on Artificial Intelligence Tools |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi |
Optimal Distributed Arc-Consistency. |
Constraints |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi |
DisCSPs: Tools for Generic and Efficient Multi-Agents Negotiations. (PDF / PS) |
WECWIS |
2002 |
DBLP DOI BibTeX RDF |
Negotiation technology, Distributed Constraint Satisfaction |
| 1 | Youssef Hamadi |
Interleaved Backtracking in Distributed Constraint Networks. (PDF / PS) |
ICTAI |
2001 |
DBLP DOI BibTeX RDF |
Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction |
| 1 | Youssef Hamadi |
Optimal Distributed Arc-Consistency. |
CP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Christian Bessière, Joël Quinqueton |
Distributed Intelligent Backtracking. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Youssef Hamadi, David Merceron |
Reconfigurable Architectures: A New Vision for Optimization Problems. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")