26 results on '"Hamadi Y"'
Search Results
2. A Generalized Framework for Conflict Analysis
3. Reconfigurable architectures: A new vision for optimization problems
4. A Generalized Framework for Conflict Analysis
5. Reconfigurable architectures: A new vision for optimization problems
6. Nurture the Culture; HSE Culture Improvement Program
7. Stochastic Local Search for Satisfiability Modulo Theories
8. Evolutionary Algorithm Parameters and Methods to Tune them
9. Bandit-based search for constraint programming
10. Parallel SAT solving [Invited paper abstract]
11. Efficiently solving quantified bit-vector formulas.
12. A Parallel Solving Algorithm for Quantified Constraints Problems.
13. Continuous Search in Constraint Programming.
14. Learning for Dynamic Subsumption.
15. DisCSPs: tools for generic and efficient multi-agents negotiations.
16. Interleaved backtracking in distributed constraint networks.
17. Behaviour in shear of beams with flexural cracks
18. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword
19. Bandit-based search for constraint programming
20. DisCSPs: tools for generic and efficient multi-agents negotiations
21. Interleaved backtracking in distributed constraint networks
22. Invited Paper Abstract (PDMC 2010).
23. Continuous resources allocation in Internet data centers.
24. Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism.
25. Automated Synthesis and Analysis of Switching Gene Regulatory Networks.
26. The Ability of the Antagonist Yeast Pichia Guilliermondii Strain Z1 to Suppress Green Mould Infection in Citrus Fruit.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.