Filtrer vos résultats
- 25
- 4
- 1
- 20
- 7
- 2
- 1
- 2
- 1
- 28
- 1
- 1
- 1
- 1
- 2
- 3
- 5
- 4
- 1
- 2
- 2
- 2
- 1
- 2
- 3
- 2
- 1
- 25
- 5
- 21
- 15
- 8
- 4
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 30
- 8
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 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
30 résultats
|
|
triés par
|
|
New Algorithm for Exhausting Optimal Permutations for Generalized Feistel NetworksINDOCRYPT 2022: 23rd International Conference on Cryptology in India, Dec 2022, Kolkata, India. pp.103-124, ⟨10.1007/978-3-031-22912-1_5⟩
Communication dans un congrès
hal-03927074v1
|
||
|
Contrôle de la propagation et de la recherche dans un solveur de contraintesIntelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩
Thèse
tel-01060921v1
|
||
|
A Global Constraint for a Tractable Class of Temporal Optimization ProblemsPrinciples and Practice of Constraint Programming, CP 2015, Aug 2015, Cork, Ireland. ⟨10.1007/978-3-319-23219-5_8⟩
Communication dans un congrès
hal-01241079v1
|
||
|
A Framework for Edge Infrastructures Monitoring[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
Rapport
hal-01897570v3
|
||
|
Propagation Engine Prototyping with a Domain Specific LanguageConstraints, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩
Article dans une revue
hal-00867604v1
|
||
A Modelling Pearl with Sortedness ConstraintsGlobal conference on artificial intelligence, Oct 2015, Tbilisi, Georgia
Communication dans un congrès
hal-01186680v1
|
|||
|
Prototyper des Moteurs de Propagation avec un DSLJournées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
Communication dans un congrès
hal-00867713v1
|
||
|
Explanation-Based Large Neighborhood SearchConstraints, 2014, 19 (4), pp.339-379. ⟨10.1007/s10601-014-9166-6⟩
Article dans une revue
hal-01087844v1
|
||
|
Guiding Backtrack Search by Tracking Variables During Constraint PropagationInternational Conference on Principles and Practice of Constraint Programming (CP'23), 2023, Toronto ( CA ), Canada. ⟨10.4230/LIPIcs.CP.2023.9⟩
Communication dans un congrès
hal-04220560v1
|
||
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⟩
Communication dans un congrès
hal-03776130v1
|
|||
|
Choco-solverJournal of Open Source Software, 2022, 7 (78), pp.4708. ⟨10.21105/joss.04708⟩
Article dans une revue
hal-03932507v1
|
||
Heuristique pour un problème de tournées d'hélicoptère de type pickup and deliveryROADEF'05, Feb 2005, Tours, France
Communication dans un congrès
hal-00363157v1
|
|||
|
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⟩
Article dans une revue
hal-01762716v1
|
||
Global domain views for expressive and cross-domain constraint programmingConstraints, 2022, 27 (1-2), pp.1-7. ⟨10.1007/s10601-021-09324-7⟩
Article dans une revue
hal-03534058v1
|
|||
|
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⟩
Communication dans un congrès
hal-03040548v2
|
||
|
Solution sampling with random table constraintsConstraints, In press, ⟨10.1007/s10601-022-09329-w⟩
Article dans une revue
hal-03776149v1
|
||
|
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⟩
Communication dans un congrès
hal-01987946v1
|
||
|
Using Constraint Programming for the Urban Transit Crew Rescheduling ProblemPrinciples and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.636 - 649, ⟨10.1007/978-3-319-44953-1_40⟩
Communication dans un congrès
hal-01436288v1
|
||
|
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⟩
Communication dans un congrès
hal-03534492v1
|
||
|
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case StudySANER 2024 - IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2024, Rovaniemi, Finland
Communication dans un congrès
hal-04457484v1
|
||
|
Using constraint programming to address the operational aircraft line maintenance scheduling problemJournal of Air Transport Management, 2024, 115, pp.102537. ⟨10.1016/j.jairtraman.2024.102537⟩
Article dans une revue
hal-04411305v1
|
||
|
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⟩
Communication dans un congrès
hal-01686406v1
|
||
|
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
Communication dans un congrès
hal-03179630v1
|
||
|
Diffusion totale dans le schéma de Feistel généraliséROADEF 2022 : 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Communication dans un congrès
hal-03595277v1
|
||
|
Linear Time Computation of Variation Degree and Commonalities on Feature DiagramsRR-2023-01-DAPI, Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France. 2023
Rapport
hal-03970237v1
|
||
|
Combining finite and continuous solvers Towards a simpler solver maintenanceThe 19th International Conference on Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. TRICS'13 Workshop: Techniques foR Implementing Constraint programming Systems
Communication dans un congrès
hal-00904069v1
|
||
|
SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized ControllersSEAMS 2023 - IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia. pp.25-31, ⟨10.1109/SEAMS59076.2023.00014⟩
Communication dans un congrès
hal-04043471v1
|
||
|
Tirage de solutions par ajout de contraintes tables aléatoiresJournées Francophones de Programmation par Contraintes, Jun 2021, Nice, France
Communication dans un congrès
hal-03776147v1
|
||
|
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⟩
Communication dans un congrès
hal-01629182v1
|
||
|
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⟩
Communication dans un congrès
hal-02108806v1
|