CB
Christian Bessiere
177
Documents
Présentation
Publications
- 8
- 4
- 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
- 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
- 1
- 1
- 32
- 31
- 20
- 17
- 16
- 16
- 15
- 14
- 13
- 10
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 167
- 5
- 3
- 1
- 12
- 8
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 6
- 3
- 5
- 8
- 11
- 9
- 14
- 12
- 14
- 6
- 4
- 7
- 10
- 7
- 9
- 12
- 9
- 13
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 8
- 2
- 1
|
Learning Constraint Networks over Unknown Constraint LanguagesIJCAI 2023 - 32nd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, Aug 2023, Macao, China. pp.1876-1883, ⟨10.24963/IJCAI.2023/208⟩
Communication dans un congrès
hal-04264711v1
|
|
Complexity of Minimum-Size Arc-Inconsistency ExplanationsCP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.9:1 - 9:14, ⟨10.4230/LIPIcs.CP.2022.9⟩
Communication dans un congrès
lirmm-03833388v1
|
|
Chain Length and CSPs Learnable with Few QueriesAAAI 2020 - 34th AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States. pp.1420-1427, ⟨10.1609/aaai.v34i02.5499⟩
Communication dans un congrès
hal-02414056v1
|
|
Omissions in Constraint AcquisitionCP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.935-951, ⟨10.1007/978-3-030-58475-7_54⟩
Communication dans un congrès
lirmm-03036103v1
|
|
Constraint Programming for Mining Borders of Frequent ItemsetsIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1064-1070, ⟨10.24963/ijcai.2019/149⟩
Communication dans un congrès
lirmm-02310629v1
|
|
Structure-Driven Multiple Constraint AcquisitionCP 2019 - 25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, CT, United States. pp.709-725, ⟨10.1007/978-3-030-30048-7_41⟩
Communication dans un congrès
lirmm-03557516v1
|
|
Constraint Programming for Association RulesSDM 2019 - 19th SIAM International Conference on Data Mining, May 2019, Calgary, AB, Canada. pp.127-135, ⟨10.1137/1.9781611975673.15⟩
Communication dans un congrès
lirmm-02089719v1
|
|
Solving Sudoku with Consistency: A Visual and Interactive ApproachIJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.5829-5831, ⟨10.24963/ijcai.2018/852⟩
Communication dans un congrès
lirmm-01897933v1
|
|
Time-Bounded Query Generator for Constraint AcquisitionCPAIOR: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2018, Delft, Netherlands. pp.1-17, ⟨10.1007/978-3-319-93031-2_1⟩
Communication dans un congrès
lirmm-01897928v1
|
|
User's Constraints in Itemset MiningCP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.537-553, ⟨10.1007/978-3-319-98334-9_35⟩
Communication dans un congrès
lirmm-01896872v1
|
|
Sketched Answer Set ProgrammingICTAI: International Conference on Tools with Artificial Intelligence, Nov 2018, Volos, Greece. pp.694-701, ⟨10.1109/ICTAI.2018.00110⟩
Communication dans un congrès
lirmm-02310677v1
|
|
A Reactive Strategy for High-Level Consistency During SearchIJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1390-1397, ⟨10.24963/ijcai.2018/193⟩
Communication dans un congrès
lirmm-01897930v1
|
|
Une contrainte de circuit adaptée aux tournées multiples13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil-sur-Mer, France. pp.135-144
Communication dans un congrès
hal-02733550v1
|
|
Contraintes de Classement13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil-sur-mer, France. pp.89-90
Communication dans un congrès
lirmm-02059660v1
|
|
Une contrainte de circuit adaptée aux tournées multiples13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil-sur-Mer, France. pp.137-144
Communication dans un congrès
lirmm-01711547v1
|
|
Cycle-Based Singleton Local ConsistenciesAAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States. pp.5005-5006
Communication dans un congrès
lirmm-01711585v1
|
|
Closed-Pattern : Une contrainte globale pour l’extraction de motifs fréquents fermés13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-02088910v1
|
|
Multiple Constraint AquisitionIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.698-704
Communication dans un congrès
lirmm-01374712v1
|
|
Constraint Acquisition Using Recommendation QueriesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.720-726
Communication dans un congrès
lirmm-01374716v1
|
|
Complexity Results in Optimistic/Pessimistic Preference ReasoningICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, CA, United States. pp.930-937, ⟨10.1109/ICTAI.2016.0144⟩
Communication dans un congrès
lirmm-01987872v1
|
|
Ranking ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.705-711
Communication dans un congrès
lirmm-01374715v1
|
|
A Global Constraint for Closed Frequent Pattern MiningCP 2016 - 22nd International Conference on Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.333-349, ⟨10.1007/978-3-319-44953-1_22⟩
Communication dans un congrès
lirmm-01374719v1
|
|
Multi-Armed Bandits for Adaptive Constraint PropagationIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.290-296
Communication dans un congrès
hal-01234361v1
|
|
A Constraint-Based Approach to the Differential Harvest ProblemCP 2015 - 21st International Conference on Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.541-556, ⟨10.1007/978-3-319-23219-5_38⟩
Communication dans un congrès
lirmm-01275591v1
|
|
Integration of Operational Constraints to Optimize Differential Harvest in ViticultureECPA: European Conference on Precision Agriculture, Jul 2015, Tel Aviv, Israel. pp.487-494, ⟨10.3920/978-90-8686-814-8_60⟩
Communication dans un congrès
lirmm-01275568v1
|
A constraint-based approach to the differential harvest problem21. International Conference on Principles and Practice of Constraint Programming (CP 2015), University College Cork (UCC). IRL., Aug 2015, Cork, Ireland. ⟨10.1007/978-3-319-23219-5_38⟩
Communication dans un congrès
hal-02743031v1
|
|
|
A General Framework for Reordering Agents Asynchronously in Distributed CSPCP 2015 - 21st International Conference on Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.463-479, ⟨10.1007/978-3-319-23219-5_33⟩
Communication dans un congrès
lirmm-01276190v1
|
|
Reasoning about Connectivity ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574
Communication dans un congrès
hal-01606489v1
|
|
Programmation par contraintes pour la vendange sélective11èmes Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp.51-56
Communication dans un congrès
hal-02738913v1
|
|
Detecting Types of Variables for Generalization in Constraint AcquisitionICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. pp.413-420, ⟨10.1109/ICTAI.2015.69⟩
Communication dans un congrès
lirmm-01276187v1
|
|
Strong Bounds Consistencies and Their Application to Linear ConstraintsAAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. pp.3717-3724
Communication dans un congrès
lirmm-01276177v1
|
|
Adaptive Parameterized Consistency for Non-Binary CSPs by Counting SupportsCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.755-764, ⟨10.1007/978-3-319-10428-7_54⟩
Communication dans un congrès
lirmm-01067342v1
|
|
Buffered Resource Constraint: Algorithms and ComplexityCPAIOR: Integration of AI and OR Techniques in Constraint Programming, May 2014, Cork, Ireland. pp.318-333, ⟨10.1007/978-3-319-07046-9_23⟩
Communication dans un congrès
hal-01023267v1
|
|
Improving Relational Consistency Algorithms Using Dynamic Relation PartitioningCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.688-704, ⟨10.1007/978-3-319-10428-7_50⟩
Communication dans un congrès
lirmm-01067437v1
|
Maintaining Virtual Arc Consistency Dynamically During SearchICTAI 2014 - 26th IEEE International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus
Communication dans un congrès
hal-02743901v1
|
|
|
Boosting Constraint Acquisition via Generalization QueriesECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.099-104, ⟨10.3233/978-1-61499-419-0-99⟩
Communication dans un congrès
lirmm-01067472v1
|
|
Adaptive Singleton-based ConsistenciesAAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2601-2607
Communication dans un congrès
lirmm-01067213v1
|
The balance constraint familyCP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France
Communication dans un congrès
hal-02743284v1
|
|
|
Acquisition de contraintes par requêtes de généralisation10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Communication dans un congrès
lirmm-01229548v1
|
|
The Balance Constraint FamilyCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.174-189, ⟨10.1007/978-3-319-10428-7_15⟩
Communication dans un congrès
lirmm-01067459v1
|
|
Reasoning about Constraint ModelsPRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. pp.795-808, ⟨10.1007/978-3-319-13560-1_63⟩
Communication dans un congrès
hal-02742999v2
|
|
Maintaining Virtual Arc Consistency Dynamically during SearchICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.8-15, ⟨10.1109/ICTAI.2014.13⟩
Communication dans un congrès
lirmm-01228369v1
|
|
Acquisition de contraintes avec des requêtes partielles10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Communication dans un congrès
lirmm-01229549v1
|
|
Solve a Constraint Problem without Modeling ItICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. pp.1-7, ⟨10.1109/ICTAI.2014.12⟩
Communication dans un congrès
lirmm-01228368v1
|
|
Global Inverse Consistency for Interactive Constraint SatisfactionCP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.159-174
Communication dans un congrès
hal-01147298v1
|
|
Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France
Communication dans un congrès
lirmm-00830408v1
|
|
Dynamic Virtual Arc ConsistencySAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103
Communication dans un congrès
lirmm-00830307v1
|
|
Cohérence d'arc virtuelle dynamiqueJFPC 2013 - Neuvièmes Journées Francophones de Programmation par Contraintes, Association Française pour la Programmation par Contraintes (AFPC). FRA., Jun 2013, Aix-en -Provence, France
Communication dans un congrès
hal-02749182v1
|
|
Cohérence d'arc virtuelle dynamique9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France. pp.249-258
Communication dans un congrès
lirmm-00830411v1
|
|
Cohérences Locales Paramétrées9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France
Communication dans un congrès
lirmm-00830410v1
|
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Communication dans un congrès
lirmm-00830325v1
|
|
Adaptive Parameterized ConsistencyCP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.143-158, ⟨10.1007/978-3-642-40627-0_14⟩
Communication dans un congrès
lirmm-00839025v1
|
|
Detecting and Exploiting Subproblem TractabilityIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.468-474
Communication dans un congrès
lirmm-00830330v1
|
|
Dynamic virtual arc consistency28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.6, ⟨10.1145/2480362.2480384⟩
Communication dans un congrès
hal-02745649v1
|
|
Asynchronous Forward Bounding RevisitedCP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.708-723, ⟨10.1007/978-3-642-40627-0_52⟩
Communication dans un congrès
lirmm-00839024v1
|
|
Revisiting Neighborhood Inverse Consistency on Binary CSPsCP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. pp.688-703, ⟨10.1007/978-3-642-33558-7_50⟩
Communication dans un congrès
lirmm-00748179v1
|
|
Filtering Decomposable Global Cost FunctionsAAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada
Communication dans un congrès
lirmm-00748187v1
|
|
Including Soft Global Constraints in DCOPsCP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. pp.175-190, ⟨10.1007/978-3-642-33558-7_15⟩
Communication dans un congrès
lirmm-00748177v1
|
A Framework for Combining Set Variable RepresentationsSARA: Symposium of Abstraction, Reformulation, and Approximation, Jul 2012, Leavenworth, WA, United States
Communication dans un congrès
lirmm-01067263v1
|
|
|
The Alldifferent Constraint with PrecedencesCPAIOR'11: International Conference on Integration of Artificial Intelligence and Operations Research techniques in Constraint Programming, Berlin, Germany. pp.36-52
Communication dans un congrès
lirmm-00748652v1
|
|
Branch and Learn pour l'acquisition de CSP8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France. pp.64-73
Communication dans un congrès
lirmm-00752314v1
|
|
Filtrage de fonctions de coût globales décomposables8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France
Communication dans un congrès
hal-00809789v1
|
|
Contraintes globales et décompositions8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France
Communication dans un congrès
hal-00830336v1
|
|
Maintaining Arc Consistency Asynchronously in Synchronous Distributed SearchICTAI: International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. pp.33-40, ⟨10.1109/ICTAI.2012.14⟩
Communication dans un congrès
lirmm-00748195v1
|
Filtering decomposable global cost functionsTwenty-Sixth Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.7
Communication dans un congrès
hal-02747813v1
|
|
|
Filtrage de fonctions de coût globales décomposablesHuitièmes Journées Francophones de Programmation par Contraintes (JFPC), Association Française de Programmation par Contraintes (AFPC). FRA., May 2012, Toulouse, France. pp.358
Communication dans un congrès
hal-02747133v1
|
|
Decomposing global cost functions11th Workshop on Preferences and Soft Contraints (Soft), Labo/service de l'auteur, Ville service, Pays service., Sep 2011, Perugia, Italy
Communication dans un congrès
hal-02747863v1
|
|
Decomposing Global Cost Functions11th Workshop on Preferences and Soft Constraints (Soft'11) in 17th Int. Conf. on Principles and Practice of Constraint Programming, Sep 2011, Perugia, Italy. pp.16-30
Communication dans un congrès
hal-01017977v1
|
|
Solving Difficult CSPs with Relational Neighborhood ConsistencyAAAI Conference on Artificial Intelligence, Aug 2011, San Francisco, CA, United States. pp.112-119
Communication dans un congrès
lirmm-00748656v1
|
|
Propagating Conjuctions of ALLDIFFERENT ConstraintsAAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, GA, United States. pp.27-32
Communication dans un congrès
lirmm-00558126v1
|
|
A First Practical Algorithm for High Levels of Relational ConsistencyAAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, GA, United States. pp.101-107
Communication dans un congrès
lirmm-00558132v1
|
Relational Consistency by Constraint FilteringSAC: Symposium on Applied Computing, Mar 2010, Sierre, Switzerland. pp.2073-2074
Communication dans un congrès
lirmm-00558309v1
|
|
|
Decomposition of the NValue ConstraintCP: Principles and Practice of Constraint Programming, Sep 2010, St. Andrews, Scotland, United Kingdom. pp.114-128, ⟨10.1007/978-3-642-15396-9_12⟩
Communication dans un congrès
lirmm-00558048v1
|
|
Making Bound Consistency as Effective as Arc ConsistencyIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.425-430
Communication dans un congrès
lirmm-00382609v1
|
|
Asynchronous Inter-Level Forward-Checking for DisCSPsCP: Principles and Practice of Constraint Programming, Sep 2009, Lisbon, Portugal. pp.304-318, ⟨10.1007/978-3-642-04244-7_25⟩
Communication dans un congrès
lirmm-00545541v1
|
|
Minimising Decision Tree Size as Combinatorial OptimisationCP: Principles and Practice of Constraint Programming, Sep 2009, Lisbon, Portugal. pp.173-187, ⟨10.1007/978-3-642-04244-7_16⟩
Communication dans un congrès
lirmm-00545531v1
|
Circuit Complexity and Decompositions of Global ConstraintsIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.412-418
Communication dans un congrès
lirmm-00382608v1
|
|
Decompositions of All Different, Global Cardinality and Related ConstraintsIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.419-424
Communication dans un congrès
lirmm-00382607v1
|
|
Among, Common and Disjoint ConstraintsProceedings CSCLP: Revised Selected and Invited Papers, Uppsala, Sweden, pp.29-43
Communication dans un congrès
lirmm-00378928v1
|
|
Utiliser les contraintes sans rien y comprendreRFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2008, Amiens, France
Communication dans un congrès
lirmm-00329857v1
|
|
Dynamic Backtracking for Distributed Constraint OptimizationECAI'08: Eighteenth European Conference on Artificial Intelligence, Patras, Greece. pp.901-902
Communication dans un congrès
lirmm-00329883v1
|
|
|
SLIDE: A Useful Special Case of the CARDPATH ConstraintECAI: European Conference on Artificial Intelligence, Jul 2008, Patras, Greece. pp.475-479
Communication dans un congrès
lirmm-00329876v1
|
|
The Parameterized Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence, Jul 2008, Chicago, IL, United States. pp.235-240
Communication dans un congrès
lirmm-00272791v1
|
|
Automatic Design of Robot Behaviors through Constraint Networks AcquisitionICTAI 2008 - 20th IEEE International Conference on Tools with Artificial Intelligence, Nov 2008, Dayton, OH, United States. pp.275-282, ⟨10.1109/ICTAI.2008.83⟩
Communication dans un congrès
lirmm-00349025v1
|
Automated Constraint ModellingModelling with Constraints: Theory and Practice ACP Summer School, Jul 2008, United Kingdom
Communication dans un congrès
lirmm-00329868v1
|
|
|
Réordonnancement de domaines dans les réseaux de contraintes4èmes Journées Francophones de Programmation par Contraintes (JFPC 2008), LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.133-142
Communication dans un congrès
inria-00291550v1
|
|
Guiding Search in QCSP+ with Back-PropagationCP: Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.175-189, ⟨10.1007/978-3-540-85958-1_12⟩
Communication dans un congrès
lirmm-00329894v1
|
An Agent for Constraint Acquisition and EmergenceSYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2007, Timisoara, Romania. pp.229-234, ⟨10.1109/SYNASC.2007.80⟩
Communication dans un congrès
lirmm-00370442v1
|
|
Learning Implied Global ConstraintsIJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.50-55
Communication dans un congrès
lirmm-00195896v1
|
|
"DisChoco: A platform for distributed constraint programming"DCR'07: Eighth International Workshop on Distributed Constraint Reasoning - In conjunction with IJCAI'07, Jan 2007, Hyderabad, India, pp.16-21
Communication dans un congrès
lirmm-00189778v1
|
|
|
Reformulating Global Constraints: The SLIDE and REGULAR ConstraintsSARA: Symposium on Abstraction, Reformulation, and Approximation, Jun 2007, Whistler, Canada. pp.80-92
Communication dans un congrès
lirmm-00195913v1
|
|
Query-Driven Constraint AcquisitionIJCAI 2007 - 20th International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India. pp.44-49
Communication dans un congrès
lirmm-00195905v1
|
|
Mining Historical Data to Build Constraint ViewpointsModRef: Constraint Modelling and Reformulation, Sep 2006, Nantes, France
Communication dans un congrès
lirmm-00134936v1
|
|
Acquiring Constraint Networks using a SAT-based Version Space AlgorithmAAAI Conference on Artificial Intelligence, Jul 2006, Boston, MA, United States. pp.1565-1568
Communication dans un congrès
lirmm-00135484v1
|
|
Blocksolve: A bottom-up approach for solving quantified CSPsCP: Principles and Practice of Constraint Programming, Sep 2006, Nantes, France. pp.635-649, ⟨10.1007/11889205_45⟩
Communication dans un congrès
lirmm-00135534v1
|
|
The ROOTS ConstraintCP: Principles and Practice of Constraint Programming, Sep 2006, Nantes, France. pp.75-90, ⟨10.1007/11889205_8⟩
Communication dans un congrès
lirmm-00135537v1
|
|
BlockSolve : une approche bottom-up des QCSPJFPC 2006 - 2e Journées Francophones de Programmation par Contraintes, Jun 2006, Nîmes, France
Communication dans un congrès
inria-00085794v1
|
|
Strategic Constraint Satisfaction ProblemsModRef 2006 - 5th International Workshop on Constraint Modelling and Reformulation, Sep 2006, Nantes, France. pp.17-29
Communication dans un congrès
lirmm-00134937v1
|
|
The Range Constraint: Algorithms and ImplementationCPAIOR'06: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Apr 2006, Cork, Ireland, pp.59-73
Communication dans un congrès
lirmm-00135217v1
|
Optimal and Suboptimal Singleton Arc Consistency AlgorithmsIJCAI: International Joint Conference on Artificial Intelligence, 2005, Edinburgh, United Kingdom. pp.54-59
Communication dans un congrès
lirmm-00106097v1
|
|
|
Algorithmes Optimaux et Sous-optimaux de Singleton Consistance d'Arc1ères Journées Francophones de Programmation par Contraintes (JFPC 2005), CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.277-286
Communication dans un congrès
lirmm-00378944v1
|
The Range and Roots Constraints: Specifying Counting and Occurrence ProblemsIJCAI: International Joint Conference on Artificial Intelligence, 2005, Edinburgh, British Virgin Islands. pp.60-65
Communication dans un congrès
lirmm-00106096v1
|
|
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction ProblemsECML 2005 - 16th European Conference on Machine Learning, Oct 2005, Porto, Portugal. pp.23-34, ⟨10.1007/11564096_8⟩
Communication dans un congrès
lirmm-00106044v1
|
|
|
Apprentissage de Contraintes Globales ImplicitesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.249-258
Communication dans un congrès
inria-00000069v1
|
Filtering Algorithms for the NValue ConstraintCPAIOR, May 2005, Prague, Czech Republic. pp.79-93, ⟨10.1007/11493853_8⟩
Communication dans un congrès
lirmm-00106098v1
|
|
|
Acquiring Parameters of Implied Global ConstraintsCP: Principles and Practice of Constraint Programming, Oct 2005, Sitges, Spain. pp.747-751, ⟨10.1007/11564751_57⟩
Communication dans un congrès
lirmm-00106045v1
|
|
The Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence, Jul 2004, San Jose, CA, United States. pp.112-117
Communication dans un congrès
lirmm-00108868v1
|
Measuring Search TreesWorkshop on Modelling and Solving Problems with Constraints - ECAI'2004, 2004, Valencia, Spain. pp.31-40
Communication dans un congrès
lirmm-00108865v1
|
|
|
Improving Asynchronous Backtracking for Dealing with Complex Local ProblemsECAI: Europeen Conference on Artificial Intelligence, Aug 2004, Valencia, Spain. pp.206-210
Communication dans un congrès
lirmm-00108867v1
|
Disjoint, Partition and Intersection Constraints for Set and Multiset VariablesCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.138-152
Communication dans un congrès
lirmm-00108915v1
|
|
|
Theoretical Analysis of Singleton Arc ConsistencyWorkshop on Modelling and Solving Problems with Constraints, Aug 2004, Valencia, Spain. pp.20-29
Communication dans un congrès
lirmm-00108866v1
|
|
Leveraging the Learning Power of Examples in Automated Constraint AcquisitionCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.123-137, ⟨10.1007/978-3-540-30201-8_12⟩
Communication dans un congrès
lirmm-00108774v1
|
|
The Tractability of Global ConstraintsCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.716-720, ⟨10.1007/978-3-540-30201-8_53⟩
Communication dans un congrès
lirmm-00108916v1
|
|
Statistical Regimes Across Constrainedness RegionsCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.32-46, ⟨10.1007/978-3-540-30201-8_6⟩
Communication dans un congrès
lirmm-00108914v1
|
|
Modélisation Semi-Automatique par Acquisition de ContraintesJNPC: Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets, Jun 2003, Amiens, France. pp.129-143
Communication dans un congrès
lirmm-00191967v1
|
|
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⟩
Communication dans un congrès
lirmm-00109164v1
|
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.400-407
Communication dans un congrès
lirmm-00269776v1
|
|
Détection de Conflits pour la Résolution de Problèmes Sur-ContraintsJNPC: Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets, Jun 2003, Amiens, France. pp.293-307
Communication dans un congrès
lirmm-00269779v1
|
Etre ou ne pas Etre, une Contrainte GlobaleJNPC: Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets, 2003, Amiens, France. pp.67-81
Communication dans un congrès
lirmm-00269778v1
|
|
|
Semi-Automatic Modeling by Constraint AcquisitionCP: Principles and Practice of Constraint Programming, Sep 2003, Kinsale, Ireland. pp.812-816, ⟨10.1007/978-3-540-45193-8_58⟩
Communication dans un congrès
lirmm-00269537v1
|
|
To Be or not To Be.. a Global ConstraintCP: Principles and Practice of Constraint Programming, Sep 2003, Kinsale, Ireland. pp.789-794, ⟨10.1007/978-3-540-45193-8_54⟩
Communication dans un congrès
lirmm-00269643v1
|
|
Propagate the Right Thing: How Preferences Can Speed-Up Constraint SolvingIJCAI: International Joint Conference on Artificial Intelligence, Aug 2003, Acapulco, Mexico. pp.191-196
Communication dans un congrès
lirmm-00269564v1
|
|
Pareto-Like Distributions in Random Binary CSPACIA, 2003, Palma de Majorqua, Spain
Communication dans un congrès
lirmm-00269777v1
|
|
Constraint Acquisition as Semi-Automatic ModelingIA: Artificial Intelligence, 2003, Cambridge, United Kingdom. pp.111-124
Communication dans un congrès
lirmm-00191968v1
|
|
A General Conflict-Set Based Framework for Partial Constraint SatisfactionSoft Constraints, 2003, Cork, Ireland
Communication dans un congrès
lirmm-00269780v1
|
|
Modélisation Semi-Automatique par Acquisition de ContraintesRJCIA: Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 2003, Laval, France. pp.97-110
Communication dans un congrès
lirmm-00191969v1
|
|
Range-Based Algorithm for Max-CSPCP: Principles and Practice of Constraint Programming, Sep 2002, Ithaca, NY, United States. pp.280-294, ⟨10.1007/3-540-46135-3_19⟩
Communication dans un congrès
lirmm-00268450v1
|
Range-Based Algorithm for Max-CSPECAI: Workshop on Modelling and Solving Problems with Constraints, Jul 2002, Lyon, France
Communication dans un congrès
lirmm-00269318v1
|
|
|
La Famille ABTJNPC: Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, Jun 2002, Nice, France. pp.57-67
Communication dans un congrès
lirmm-00268451v1
|
Heuristiques multi-niveaux pour ordonner les variables dans les CSPActes des 7ème journées Nationales sur la résolution Pratique des problèmes NP-Complets (JNPC'2001), 2001, Toulouse-France, Région indéterminée. pp.49-60
Communication dans un congrès
hal-03300278v1
|
|
|
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem7th International Conference on Principles and Practice of Constraint Programming (CP 2001), Nov 2001, Paphos, Cyprus. pp.565-569, ⟨10.1007/3-540-45578-7_40⟩
Communication dans un congrès
hal-03300268v1
|
|
Hypermédias et cartes de concepts pour apprendre avec des métaphoresCinquième colloque Hypermédias et apprentissages, Apr 2001, Grenoble, France. pp.267-275
Communication dans un congrès
edutice-00000467v1
|
|
Raisonnement spatial et temporel6e journées nationales PRC-GDR intelligence artificielle, Mar 1997, Grenoble, France. pp.77-88
Communication dans un congrès
hal-01401180v1
|
|
Application of Constraint Networks Filtering Techniques to Truth Maintenance SystemsCAIA: Conference on Artificial Intelligence for Applications, Mar 1993, Orlando, FL, United States. pp.41-47
Communication dans un congrès
lirmm-02310598v1
|
|
Arc-Consistency for Non-Binary Dynamic CSPsECAI 1992 - 10th European Conference on Artificial Intelligence, Aug 1992, Vienna, Austria. pp.23-27, ⟨10.5555/145448.145487⟩
Communication dans un congrès
lirmm-02310588v1
|
|
Arc-Consistency in Dynamic Constraint Satisfaction ProblemsAAAI Conference on Artificial Intelligence, Jul 1991, Anaheim, CA, United States. pp.221-226
Communication dans un congrès
lirmm-02310575v1
|
|
Global Constraints in Distributed Constraint SatisfactionAAMAS'12: International Conference on Autonomous Agents (AA) and Multiagent Systems (MAS), Jun 2012, Valencia, Spain. , pp.2, 2012
Poster de conférence
lirmm-00748192v1
|
Artificial Intelligence. What is it, exactly?Sébastien Konieczny; Henri Prade. College Publication, 2021, 9781848903388
Ouvrages
hal-04270168v1
|
|
L’intelligence Artificielle: De quoi s’agit-il vraiment ?Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Ouvrages
hal-04270163v1
|
|
|
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020Ouvrages lirmm-03379779v1 |
Data Mining and Constraint ProgrammingChristian Bessiere; Luc De Raedt; Lars Kotthoff; Siegfried Nijssen; Barry O'Sullivan; Dino Pedreschi. Springer, LNCS (10101), 2016, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6⟩
Ouvrages
hal-01711594v1
|
|
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings Springer Lecture Notes in Computer Science volume 4741Springer, 4741, pp.001-900, 2007, Lecture Notes in Computer Science
Ouvrages
lirmm-00204133v1
|
|
Constraint ReasoningPierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer, Cham, pp.153-183, 2020, 978-3-030-06166-1. ⟨10.1007/978-3-030-06167-8_6⟩
Chapitre d'ouvrage
lirmm-02995451v1
|
|
Adapting Consistency in Constraint SolvingChristian Bessiere; Luc De Raedt; Lars Kotthoff; Siegfried Nijssen; Barry O'Sullivan; Dino Pedreschi. Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, 10101, Springer, pp.226-253, 2016, Lecture Notes in Computer Science, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_9⟩
Chapitre d'ouvrage
hal-01711595v1
|
|
The Inductive Constraint Programming LoopChristian Bessiere; Luc De Raedt; Lars Kotthoff; Siegfried Nijssen; Barry O'Sullivan; Dino Pedreschi. Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, LNCS (10101), Springer, pp.303-309, 2016, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_12⟩
Chapitre d'ouvrage
hal-02310649v1
|
|
New Approaches to Constraint AcquisitionData Mining and Constraint Programming, 10101 (Chapter 3), Springer International Publishing AG, pp.51-76, 2016, Lecture Notes in Computer Science, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_3⟩
Chapitre d'ouvrage
hal-01606245v1
|
Constraint PropagationJ. Hendler, H. Kitano, B. Nebel. Handbook of Constraint Programming, Elsevier, pp.29-83, 2006, 0-444-52726-5
Chapitre d'ouvrage
lirmm-00117128v1
|
|
Pareto-Like Distributions in Random Binary CSPArtificial Intelligence Research and Development, 100, IOS Press, pp.451-461, 2003, Frontiers in Artificial Intelligence and Applications, 978-1-58603-378-1
Chapitre d'ouvrage
lirmm-00269781v1
|
|
Nogood-Based Asynchronous Forward-Checking Algorithms[Research Report] RR-12013, Lirmm. 2012, pp.29
Rapport
lirmm-00691197v1
|
|
Agile Asynchronous Backtracking for Distributed Constraint Satisfaction ProblemsRR-11017, 2011, pp.01-20
Rapport
lirmm-00595688v2
|
|
Complexity of the Cardpath Constraint05036, 2005, 4 p
Rapport
lirmm-00106686v1
|
Characterizing Decomposable and Global Constraints[Research Report] 05053, LIRMM. 2005, pp.12
Rapport
lirmm-00106652v1
|