Search - Archive ouverte HAL Access content directly

Filter your results

47 Results
Structure: Internal structure identifier : 481373
Image document

On the Complexity of Robust Stable Marriage

Begum Genc , Mohamed Siala , Gilles Simonin , Barry O ' Sullivan
COCOA 2017 11th Annual International Conference on Combinatorial Optimization and Applications , Dec 2017, Shanghai, China
Conference papers hal-01689884v1
Image document

Reachability in Parametric Interval Markov Chains Using Constraints

Anicet Bart , Benoit Delahaye , Didier Lime , Eric Monfroy , Charlotte Truchet et al.
14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩
Conference papers hal-01591036v1
Image document

Estimating the number of solutions on cardinality constraints

Giovanni Christian Lo Bianco Accou
Combinatorics [math.CO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0155⟩
Theses tel-02408009v1
Image document

Constraint modelling and solving of some verification problems

Anicet Bart
Programming Languages [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0031⟩
Theses tel-01743851v1
Image document

Service Placement in Fog Computing Using Constraint Programming

Farah Ait Salaht , Frédéric Desprez , Adrien Lebre , Charles Prud'Homme , Mohamed Abderrahim et al.
SCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩
Conference papers hal-02108806v1
Image document

Making the first solution good!

Jean-Guillaume Fages , Charles Prud'Homme
ICTAI 2017 : 29th IEEE International Conference on Tools with Artificial Intelligence, Nov 2017, Boston, MA, United States. ⟨10.1109/ICTAI.2017.00164⟩
Conference papers hal-01629182v1

Invariants for Time-Series Constraints

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis
Journal articles hal-02505029v1
Image document

Fouille de Motifs Fermés et Diversifiés Basée sur la Relaxation

Arnold Hien , Samir Loudni , Noureddine Aribi , Yahia Lebbah , Amine Laghzaoui et al.
Conférence Internationale Francophone sur la Science des Données (CIFSD), Jun 2021, Marseille, France
Conference papers hal-03686185v1

Solution sampling with random table constraints

Mathieu Vavrille , Charlotte Truchet , Charles Prud'Homme
CP 2021: 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier (en ligne), France. pp.56:1--56:17, ⟨10.4230/LIPIcs.CP.2021.56⟩
Conference papers hal-03776130v1
Image document

Generating Linear Invariants for a Conjunction of Automata Constraints

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis
CP 2017 : 23rd International Conference on Principles and Practice of Constraint Programming, Aug 2017, Melbourne, Australia. ⟨10.1007/978-3-319-66158-2_2⟩
Conference papers hal-01651593v1

A Probabilistic Model to Count Solutions on the alldifferent Constraint

Giovanni Lo Bianco , Charlotte Truchet , Xavier Lorca , Vlady Ravelomanana
CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, Aug 2018, Lille, France. 9 p
Conference papers hal-01923767v1

Reachability in parametric Interval Markov Chains using constraints

Anicet Bart , Benoît Delahaye , Paulin Fournier , Didier Lime , Eric Monfroy et al.
Theoretical Computer Science, 2018, 747, pp.48 - 74. ⟨10.1016/j.tcs.2018.06.016⟩
Journal articles hal-01917092v1

Global domain views for expressive and cross-domain constraint programming

Dimitri Justeau-Allaire , Charles Prud'Homme
Constraints, In press, ⟨10.1007/s10601-021-09324-7⟩
Journal articles hal-03534058v1
Image document

Contraintes Globales : Aspects Algorithmiques et Déclaratifs

Nicolas Beldiceanu
Intelligence artificielle [cs.AI]. Université de Paris 6, 2003
Habilitation à diriger des recherches tel-02927324v1
Image document

A Relaxation-based Approach for Mining Diverse Closed Patterns

Arnold Hien , Samir Loudni , Noureddine Aribi , Yahia Lebbah , Mohammed El Amine Laghzaoui et al.
Machine Learning and Knowledge Discovery in Databases - European Conference, {ECML} {PKDD} 2020, Sep 2020, Ghent (virtual), Belgium. pp.36--54, ⟨10.1007/978-3-030-67658-2_3⟩
Conference papers hal-03244005v1
Image document

CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems

Zakarea Al-Shara , Frederico Alvares , Hugo Bruneliere , Jonathan Lejeune , Charles Prud'Homme et al.
Future Generation Computer Systems, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩
Journal articles hal-01762716v1
Image document

An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage Problem

Begum Genc , Mohamed Siala , Gilles Simonin , Barry O'Sullivan
Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-19212-9_21⟩
Conference papers hal-02062127v1
Image document

Three generalizations of the FOCUS constraint

Nina Narodytska , Thierry Petit , Mohamed Siala , Toby Walsh
Constraints, 2016, 21 (4), pp.459-532. ⟨10.1007/s10601-015-9233-7⟩
Journal articles hal-01238445v1
Image document

Efficient Methods to Search for Best Differential Characteristics on SKINNY

Stéphanie Delaune , Patrick Derbez , Paul Huynh , Marine Minier , Victor Mollimard et al.
ACNS 2021 - 19th International Conference on Applied Cryptography and Network Security, Jun 2021, Kamakura, Japan. pp.184-207, ⟨10.1007/978-3-030-78375-4_8⟩
Conference papers hal-03040548v2
Image document

Conflict analysis in CP solving: Explanation generation from constraint decomposition

Arthur Gontier , Charlotte Truchet , Charles Prud'Homme
CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, Sep 2020, Louvain-la-Neuve, Belgium
Conference papers hal-03179630v1
Image document

On Constraint Linear Decompositions Using Mathematical Variables

Thierry Petit
ICTAI 2017 : IEEE 29th International Conference on Tools with Artificial Intelligence, Nov 2017, Boston, United States. pp.123-130, ⟨10.1109/ICTAI.2017.00030⟩
Conference papers hal-01686540v1
Image document

Reachability in Parametric Interval Markov Chains using Constraints

Anicet Bart , Benoit Delahaye , Didier Lime , Eric Monfroy , Charlotte Truchet et al.
2017
Preprints, Working Papers, ... hal-01529681v1

Deriving filtering algorithms from dedicated algorithms: zoom on the Bin Packing problem

Arthur Godet , Xavier Lorca , Gilles Simonin
CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming : Doctoral Program Proceedings, Aug 2018, Lille, France. 9 p
Conference papers hal-01923740v1

Deriving generic bounds for time-series constraints based on regular expressions characteristics

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis
Constraints, 2018, 23 (1), pp.44 - 86. ⟨10.1007/s10601-017-9276-z⟩
Journal articles hal-01685567v1
Image document

Solution Engineering " : génération et classification de solutions enrichies par des vecteurs de qualité

Thierry Petit , Andrew C Trapp
ROADEF 2018, 19e congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2018, Lorient, France
Conference papers hal-01686802v1

Range-Consistent Forbidden Regions of Allen’s Relations

Nicolas Beldiceanu , Mats Carlsson , Alban Derrien , Charles Prud'Homme , Andreas Schutt et al.
CPAIOR 2017 : 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, Jun 2017, Padoue, Italy. pp.21-29, ⟨10.1007/978-3-319-59776-8_2⟩
Conference papers hal-01686406v1
Image document

Green energy aware scheduling problem in virtualized datacenters

Gilles Madi Wamba , Yunbo Li , Anne-Cécile Orgerie , Nicolas Beldiceanu , Jean-Marc Menaud et al.
ICPADS 2017 : IEEE 23rd International Conference on Parallel and Distributed Systems, Dec 2017, Shenzen, China. pp.648-655, ⟨10.1109/ICPADS.2017.00089⟩
Conference papers hal-01582936v1
Image document

Towards energy-proportional Clouds partially powered by renewable energy

Nicolas Beldiceanu , Bárbara Dumas Feris , Philippe Gravey , Md Sabbir Hasan , Claude Jard et al.
Computing, 2017, 99 (1), pp.3-22. ⟨10.1007/s00607-016-0503-z⟩
Journal articles hal-01340318v1
Image document

A Simpler Model for Recovering Superpoly on Trivium

Stéphanie Delaune , Patrick Derbez , Arthur Gontier , Charles Prud'Homme
SAC 2021: International Conference on Selected Areas in Cryptography, Sep 2021, Victoria, British-Columbia, Canada. pp.266-285, ⟨10.1007/978-3-030-99277-4_13⟩
Conference papers hal-03534492v1
Image document

Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures

Mohamed Abderrahim , Meryem Ouzzif , Karine Guillouard , Jérôme François , Adrien Lebre et al.
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
Conference papers hal-01987946v1