Filter your results
- 77
- 18
- 71
- 19
- 2
- 1
- 1
- 1
- 1
- 84
- 5
- 3
- 2
- 2
- 2
- 4
- 4
- 4
- 8
- 6
- 8
- 4
- 5
- 5
- 16
- 4
- 5
- 1
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 83
- 12
- 68
- 31
- 23
- 10
- 8
- 7
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 95
- 32
- 27
- 20
- 16
- 16
- 15
- 15
- 13
- 9
- 9
- 7
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
95 Results
|
The ROOTS ConstraintCP: Principles and Practice of Constraint Programming, Sep 2006, Nantes, France. pp.75-90, ⟨10.1007/11889205_8⟩
Conference papers
istex
lirmm-00135537v1
|
||
|
Acquisition de contraintes avec des requêtes partielles10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Conference papers
lirmm-01229549v1
|
||
|
Ranking ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.705-711
Conference papers
lirmm-01374715v1
|
||
|
SAT and Hybrid Models of the Car Sequencing Problem11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014., May 2014, Cork, Ireland. pp.268-283, ⟨10.1007/978-3-319-07046-9_19⟩
Conference papers
hal-00991036v1
|
||
|
Two Clause Learning Approaches for Disjunctive SchedulingPrinciples and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.393-402, ⟨10.1007/978-3-319-23219-5_28⟩
Conference papers
hal-01229050v1
|
||
|
Étude de méthodes arborescentes de Monte-Carlo pour un problème de déplacement de pièces dans un atelier d'assemblageRencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'21) Plate-Forme Intelligence Artificielle (PFIA'21), Jul 2021, Bordeaux, France. pp.7-13
Conference papers
hal-03298740v1
|
||
|
Multi-Mode RCPSP with Safety Margin Maximization: Models and Algorithms10th International Conference on Operations Research and Enterprise Systems, Feb 2021, Online Streaming, Austria. pp.129-136, ⟨10.5220/0010190101290136⟩
Conference papers
hal-03160056v1
|
||
|
Constraint and Satisfiability Reasoning for Graph ColoringJournal of Artificial Intelligence Research, 2020, 69, ⟨10.1613/jair.1.11313⟩
Journal articles
hal-02907062v1
|
||
|
Global constraints for scheduling data transfer in space missions13th International Workshop on Planning and Scheduling for Space (IWPSS 2023), Steve Chien, Juan Manuel Delfa and Tiago Stegun Vaquero, Jul 2023, Prague, Czech Republic. pp.93-95
Conference papers
hal-04171352v1
|
||
Characterizing Decomposable and Global Constraints[Research Report] 05053, LIRMM. 2005, pp.12
Reports
lirmm-00106652v1
|
|||
|
Contraintes de Classement13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil-sur-mer, France. pp.89-90
Conference papers
lirmm-02059660v1
|
||
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.400-407
Conference papers
lirmm-00269776v1
|
||
|
Estimating Magnetic Filling Factors from Zeeman–Doppler MagnetogramsThe Astrophysical Journal, 2019, 876 (2), pp.118. ⟨10.3847/1538-4357/ab1096⟩
Journal articles
obspm-02399742v1
|
||
|
A Hybrid Approach for Exact Coloring of Massive GraphsSixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), Jun 2019, Thessaloniki, Greece
Conference papers
hal-02076298v1
|
||
|
Reasoning About NP-complete Constraints27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 5p
Conference papers
hal-01873503v1
|
||
|
Job shop scheduling with setup times and maximal time-lags: A simple constraint programming approachCPAIOR, Jun 2010, Bologna, Italy. pp.147-161
Conference papers
hal-00561633v1
|
||
|
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with CardinalityEighteenth International Conference on Principles and Practice of Constraint Programming, Oct 2012, Quebec, Canada. pp.55-69, ⟨10.1007/978-3-642-33558-7_7⟩
Conference papers
hal-00713860v1
|
||
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Conference papers
lirmm-00830325v1
|
||
|
Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car ManufacturingPrinciples and Practice of Constraint Programming. CP 2020, Sep 2020, Louvain La Neuve, Belgium. pp.657-672, ⟨10.1007/978-3-030-58475-7_38⟩
Conference papers
hal-02938190v1
|
||
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.299-314, ⟨10.1007/978-3-540-24605-3_23⟩
Conference papers
istex
lirmm-00109164v1
|
||
|
Constraint programming for planning test campaigns of communications satellitesConstraints, 2017, 22 (1), pp.73 - 89. ⟨10.1007/s10601-016-9254-x⟩
Journal articles
hal-01443817v1
|
||
|
Algorithme d’approximation pour un problème d’affectation d’une commande multiproduit multifournisseur12ème Conférence Internationale de MOdélisation, Optimisation et SIMulation (MOSIM 2018), Jun 2018, Toulouse, France. 7p
Conference papers
hal-01880425v1
|
||
|
On How Turing and Singleton Arc Consistency Broke the Enigma Code27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.13⟩
Conference papers
hal-03454134v1
|
||
|
Do Non-dipolar Magnetic Fields Contribute to Spin-down Torques?The Astrophysical Journal, 2019, 886 (2), pp.120. ⟨10.3847/1538-4357/ab46b2⟩
Journal articles
obspm-02399619v1
|
||
|
Satellite Data Download Management with Uncertainty about the Generated Volumes24th International Conference on Automated Planning and Scheduling (ICAPS), Jun 2014, Portsmouth, New Hampshire, United States
Conference papers
hal-01954509v1
|
||
Impact of magnetic field on radial velocity measurementsJournées SF2A 2014, SF2A, Jun 2014, Paris, France. pp.241
Conference papers
hal-01770026v1
|
|||
|
SLIDE: A Useful Special Case of the CARDPATH ConstraintECAI: European Conference on Artificial Intelligence, Jul 2008, Patras, Greece. pp.475-479
Conference papers
lirmm-00329876v1
|
||
|
Filtering algorithms for the NValue constraintConstraints, 2006, 11 (4), pp.271-293. ⟨10.1007/s10601-006-9001-9⟩
Journal articles
istex
lirmm-00135540v1
|
||
|
Partial Queries for Constraint Acquisition2020
Preprints, Working Papers, ...
hal-03088013v1
|
||
|
An Optimal Arc Consistency Algorithm for a Particular Case of Sequence ConstraintConstraints, 2014, 19 (1), pp.30-56. ⟨10.1007/s10601-013-9150-6⟩
Journal articles
hal-00876594v1
|