Filter your results
- 36
- 10
- 1
- 28
- 9
- 5
- 2
- 1
- 1
- 1
- 43
- 3
- 2
- 1
- 1
- 1
- 7
- 4
- 6
- 9
- 18
- 1
- 1
- 41
- 6
- 47
- 10
- 9
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 10
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
On the Complexity of Robust Stable MarriageCOCOA 2017 11th Annual International Conference on Combinatorial Optimization and Applications , Dec 2017, Shanghai, China
Conference papers
hal-01689884v1
|
||
|
Reachability in Parametric Interval Markov Chains Using Constraints14th 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
|
||
|
Estimating the number of solutions on cardinality constraintsCombinatorics [math.CO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0155⟩
Theses
tel-02408009v1
|
||
|
Constraint modelling and solving of some verification problemsProgramming Languages [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0031⟩
Theses
tel-01743851v1
|
||
|
Service Placement in Fog Computing Using Constraint ProgrammingSCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩
Conference papers
hal-02108806v1
|
||
|
Making the first solution good!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 ConstraintsConstraints, 2020, ⟨10.1007/s10601-020-09308-z⟩
Journal articles
hal-02505029v1
|
|||
|
Fouille de Motifs Fermés et Diversifiés Basée sur la RelaxationConférence Internationale Francophone sur la Science des Données (CIFSD), Jun 2021, Marseille, France
Conference papers
hal-03686185v1
|
||
Solution sampling with random table constraintsCP 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
|
|||
|
Generating Linear Invariants for a Conjunction of Automata ConstraintsCP 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 ConstraintCP 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 constraintsTheoretical 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 programmingConstraints, In press, ⟨10.1007/s10601-021-09324-7⟩
Journal articles
hal-03534058v1
|
|||
|
Contraintes Globales : Aspects Algorithmiques et DéclaratifsIntelligence artificielle [cs.AI]. Université de Paris 6, 2003
Habilitation à diriger des recherches
tel-02927324v1
|
||
|
A Relaxation-based Approach for Mining Diverse Closed PatternsMachine 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
|
||
|
CoMe4ACloud: An End-to-End Framework for Autonomic Cloud SystemsFuture Generation Computer Systems, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩
Journal articles
hal-01762716v1
|
||
|
An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage ProblemSixteenth 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
|
||
|
Three generalizations of the FOCUS constraintConstraints, 2016, 21 (4), pp.459-532. ⟨10.1007/s10601-015-9233-7⟩
Journal articles
hal-01238445v1
|
||
|
Efficient Methods to Search for Best Differential Characteristics on SKINNYACNS 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
|
||
|
Conflict analysis in CP solving: Explanation generation from constraint decompositionCP 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
|
||
|
On Constraint Linear Decompositions Using Mathematical VariablesICTAI 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
|
||
|
Reachability in Parametric Interval Markov Chains using Constraints2017
Preprints, Working Papers, ...
hal-01529681v1
|
||
Deriving filtering algorithms from dedicated algorithms: zoom on the Bin Packing problemCP 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 characteristicsConstraints, 2018, 23 (1), pp.44 - 86. ⟨10.1007/s10601-017-9276-z⟩
Journal articles
hal-01685567v1
|
||
|
Solution Engineering " : génération et classification de solutions enrichies par des vecteurs de qualité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 RelationsCPAIOR 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
|
||
|
Green energy aware scheduling problem in virtualized datacentersICPADS 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
|
||
|
Towards energy-proportional Clouds partially powered by renewable energyComputing, 2017, 99 (1), pp.3-22. ⟨10.1007/s00607-016-0503-z⟩
Journal articles
hal-01340318v1
|
||
|
A Simpler Model for Recovering Superpoly on TriviumSAC 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
|
||
|
Efficient Resource Allocation for Multi-tenant Monitoring of Edge InfrastructuresPDP 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
|
- 1
- 2