Youssef Hamadi

Gauthier Picard

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Résolution multicritère socialement acceptable du problème de réparation des contrats 4d dans le cadre de la gestion du trafic aérien sans pilote.

[BibT_eX]

[DOI]

Gauthier Picard

Proceedings of the 10ème Conférence Nationale sur les Applications Pratiques de l'Intelligence Artificielle, 2024

2023

Urban air mobility: from complex tactical conflict resolution to network design and fairness insights.

[BibT_eX]

[DOI]

Optim. Methods Softw., November, 2023

2021

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism.

[BibT_eX]

[DOI]

Annalisa Occhipinti

Claudio Angione

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact).

[BibT_eX]

[DOI]

Maxime Buyse

Rémi Delmas

Dagstuhl Artifacts Ser., 2021

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety.

[BibT_eX]

[DOI]

Maxime Buyse

Rémi Delmas

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

Optimization for Urban Air Mobility.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 14th International Conference, 2020

2018

Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism.

[BibT_eX]

[DOI]

Claudio Angione

Dataset, November, 2018

Exhaustive Exploration of the Failure-Oblivious Computing Search Space.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017

Surrogate-based methods for black-box optimization.

[BibT_eX]

[DOI]

Int. Trans. Oper. Res., 2017

Exhaustive Exploration of the Failure-oblivious Computing Search Space.

[BibT_eX]

[DOI]

CoRR, 2017

Preference Reasoning in Matching Procedures: Application to the Admission Post-Baccalaureat Platform.

[BibT_eX]

[DOI]

Souhila Kaci

CoRR, 2017

Production-Driven Patch Generation.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

2016

Production-Driven Patch Generation and Validation.

[BibT_eX]

[DOI]

CoRR, 2016

BanditRepair: Speculative Exploration of Runtime Patches.

[BibT_eX]

[DOI]

CoRR, 2016

Automated Synthesis and Analysis of Switching Gene Regulatory Networks.

[BibT_eX]

[DOI]

Yoli Shavit

Sara-Jane Dunn

Biosyst., 2016

What we can learn from conflicts in propositional satisfiability.

[BibT_eX]

[DOI]

Lakhdar Saïs

Ann. Oper. Res., 2016

Evolving SMT Strategies.

[BibT_eX]

[DOI]

Nicolás Gálvez Ramírez

Éric Monfroy

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis.

[BibT_eX]

[DOI]

Mukund Raghothaman

Yi Wei

Proceedings of the 38th International Conference on Software Engineering, 2016

Towards Automated Strategies in Satisfiability Modulo Theory.

[BibT_eX]

[DOI]

Nicolás Gálvez Ramírez

Éric Monfroy

Proceedings of the Genetic Programming - 19th European Conference, 2016

2015

SWIM: Synthesizing What I Mean.

[BibT_eX]

[DOI]

Mukund Raghothaman

Yi Wei

CoRR, 2015

Switching Gene Regulatory Networks.

[BibT_eX]

[DOI]

Yoli Shavit

Sara-Jane Dunn

Proceedings of the Information Processing in Cells and Tissues, 2015

Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions.

[BibT_eX]

[DOI]

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2015

Stochastic Local Search for Satisfiability Modulo Theories.

[BibT_eX]

[DOI]

Andreas Fröhlich

Armin Biere

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.

[BibT_eX]

[DOI]

Markus N. Rabe

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization.

[BibT_eX]

[DOI]

Dimo Brockhoff

Souhila Kaci

Proceedings of the Learning and Intelligent Optimization, 2014

Analyzing and Synthesizing Genomic Logic Functions.

[BibT_eX]

[DOI]

Nicola Paoletti

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Efficiently solving quantified bit-vector formulas.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

Formal Methods Syst. Des., 2013

Guest editorial: special issue - revised selected papers of the LION 6 conference.

[BibT_eX]

[DOI]

Marc Schoenauer

Ann. Math. Artif. Intell., 2013

Seven Challenges in Parallel SAT Solving.

[BibT_eX]

[DOI]

AI Mag., 2013

SMT-Based Analysis of Biological Computation.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

Functional Analysis of Large-Scale DNA Strand Displacement Circuits.

[BibT_eX]

[DOI]

Andrew Phillips

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

Bandit-Based Search for Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

Using Local Search with adaptive operator selection to solve the Progressive Party Problem.

[BibT_eX]

[DOI]

Nadarajen Veerapen

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

Combinatorial Search - From Algorithms to Systems.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-642-41481-7, 2013

2012

Learning from conflicts in propositional satisfiability.

[BibT_eX]

[DOI]

4OR, 2012

A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency.

[BibT_eX]

[DOI]

Álvaro Fialho

Marc Schoenauer

Proceedings of the ECAI 2012, 2012

An Introduction to Autonomous Search.

[BibT_eX]

[DOI]

Éric Monfroy

Proceedings of the Autonomous Search, 2012

Control-Based Clause Sharing in Parallel SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Autonomous Search, 2012

Continuous Search in Constraint Programming.

[BibT_eX]

[DOI]

Michèle Sebag

Proceedings of the Autonomous Search, 2012

2011

Deterministic Parallel DPLL.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2011

Boosting distributed constraint satisfaction.

[BibT_eX]

[DOI]

Georg Ringwelski

J. Heuristics, 2011

Lazy Decomposition for Distributed Decision Procedures

[BibT_eX]

[DOI]

João Marques-Silva

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Improving Parallel Local Search for SAT.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011

Optimizing architectural and structural aspects of buildings towards higher energy efficiency.

[BibT_eX]

[DOI]

Álvaro Fialho

Marc Schoenauer

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

2010

Learning for Dynamic Subsumption.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2010

Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning.

[BibT_eX]

[DOI]

Vincent Vidal

Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

From Parallel SAT to Distributed SAT.

[BibT_eX]

[DOI]

Proceedings of the POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, 2010

A Parallel Solving Algorithm for Quantified Constraints Problems.

[BibT_eX]

[DOI]

Jérémie Vautard

Arnaud Lallouet

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Continuous Search in Constraint Programming.

[BibT_eX]

[DOI]

Michèle Sebag

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Building Portfolios for the Protein Structure Prediction Problem.

[BibT_eX]

[DOI]

Michèle Sebag

Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Diversification and Intensification in Parallel SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

ManySAT: a Parallel SAT Solver.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2009

Conclusion to the Special Issue on Parallel SAT Solving.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2009

Exploiting weak dependencies in tree-based search.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Control-Based Clause Sharing in Parallel SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Experiments with Massively Parallel Constraint Solving.

[BibT_eX]

[DOI]

Horst Samulowitz

Proceedings of the IJCAI 2009, 2009

Efficient Combination of Decision Procedures for MUS Computation.

[BibT_eX]

[DOI]

Cédric Piette

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

A Concurrent Portfolio Approach to SMT Solving.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

A Generalized Framework for Conflict Analysis.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Vivifying Propositional Clausal Formulae.

[BibT_eX]

[DOI]

Cédric Piette

Proceedings of the ECAI 2008, 2008

2007

Preface to Special Issue on SAT/CP Integration.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2007

An Analysis of Slow Convergence in Interval Propagation.

[BibT_eX]

[DOI]

Moshe Y. Vardi

Proceedings of the Principles and Practice of Constraint Programming, 2007

Knowledge Compilation Properties of Tree-of-BDDs.

[BibT_eX]

[DOI]

Sathiamoorthy Subbarayan

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

AutoCollage.

[BibT_eX]

[DOI]

ACM Trans. Graph., 2006

Propositional Satisfiability and Constraint Programming: A comparative survey.

[BibT_eX]

[DOI]

Lintao Zhang

ACM Comput. Surv., 2006

Distributed Log-Based Reconciliation.

[BibT_eX]

[DOI]

Yek Loong Chong

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Pushing Log-Based Reconciliation.

[BibT_eX]

[DOI]

Marc Shapiro

Int. J. Artif. Intell. Tools, 2005

Conflicting Agents in Distributed Search.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2005

The Temporal Knapsack Problem and Its Solution.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Continuous resources allocation in Internet data centers.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2002

Interleaved Backtracking in Distributed Constraint Networks.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2002

Optimal Distributed Arc-Consistency.

[BibT_eX]

[DOI]

Constraints An Int. J., 2002

DisCSPs: Tools for Generic and Efficient Multi-Agents Negotiations.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02), 2002

1999

Communication et Emergence : une épidémie chez les termites.

[BibT_eX]

Joël Quinqueton

Proceedings of the Ingénierie des systèmes Multi-Agents - JFIADSMA 99, 1999

1998

Distributed Intelligent Backtracking.

[BibT_eX]

Christian Bessière

Joël Quinqueton

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Reconfigurable Architectures: A New Vision for Optimization Problems.

[BibT_eX]

[DOI]