CB
Christian Bessiere
173
Documents
Presentation
Publications
- 7
- 4
- 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
- 31
- 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
- 5
- 5
- 5
- 5
- 4
- 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
- 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
- 163
- 5
- 3
- 1
- 12
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 5
- 8
- 11
- 9
- 14
- 12
- 14
- 6
- 4
- 7
- 10
- 7
- 9
- 12
- 9
- 13
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 8
|
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⟩
Conference papers
lirmm-03833388v1
|
|
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⟩
Conference papers
lirmm-03036103v1
|
|
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⟩
Conference papers
hal-02414056v1
|
|
Constraint Programming for Association RulesSDM: SIAM International Conference on Data Mining, May 2019, Calgary, Canada. pp.127-135, ⟨10.1137/1.9781611975673.15⟩
Conference papers
lirmm-02089719v1
|
|
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⟩
Conference papers
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⟩
Conference papers
lirmm-03557516v1
|
|
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⟩
Conference papers
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⟩
Conference papers
lirmm-01897928v1
|
|
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⟩
Conference papers
lirmm-01897930v1
|
|
Sketched Answer Set ProgrammingICTAI: International Conference on Tools with Artificial Intelligence, Nov 2018, Volos, Greece. pp.694-701, ⟨10.1109/ICTAI.2018.00110⟩
Conference papers
lirmm-02310677v1
|
|
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⟩
Conference papers
lirmm-01896872v1
|
|
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
Conference papers
hal-02733550v1
|
|
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
Conference papers
hal-02088910v1
|
|
Cycle-Based Singleton Local ConsistenciesAAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States. pp.5005-5006
Conference papers
lirmm-01711585v1
|
|
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
Conference papers
lirmm-01711547v1
|
|
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
|
|
Multiple Constraint AquisitionIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.698-704
Conference papers
lirmm-01374712v1
|
|
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⟩
Conference papers
lirmm-01374719v1
|
|
Ranking ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.705-711
Conference papers
lirmm-01374715v1
|
|
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⟩
Conference papers
lirmm-01987872v1
|
|
Constraint Acquisition Using Recommendation QueriesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.720-726
Conference papers
lirmm-01374716v1
|
|
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
Conference papers
hal-02738913v1
|
|
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⟩
Conference papers
lirmm-01275591v1
|
|
Multi-Armed Bandits for Adaptive Constraint PropagationIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.290-296
Conference papers
hal-01234361v1
|
|
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⟩
Conference papers
lirmm-01275568v1
|
|
Strong Bounds Consistencies and Their Application to Linear ConstraintsAAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. pp.3717-3724
Conference papers
lirmm-01276177v1
|
|
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⟩
Conference papers
lirmm-01276187v1
|
|
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⟩
Conference papers
lirmm-01276190v1
|
|
Reasoning about Connectivity ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574
Conference papers
hal-01606489v1
|
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⟩
Conference papers
hal-02743031v1
|
|
|
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⟩
Conference papers
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⟩
Conference papers
lirmm-01228369v1
|
|
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
lirmm-01067437v1
|
|
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
|
|
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⟩
Conference papers
lirmm-01228368v1
|
|
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⟩
Conference papers
lirmm-01067459v1
|
|
Acquisition de contraintes par requêtes de généralisation10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Conference papers
lirmm-01229548v1
|
|
Adaptive Singleton-based ConsistenciesAAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2601-2607
Conference papers
lirmm-01067213v1
|
The balance constraint familyCP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France
Conference papers
hal-02743284v1
|
|
|
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⟩
Conference papers
lirmm-01067472v1
|
Maintaining Virtual Arc Consistency Dynamically During Search26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus
Conference papers
hal-02743901v1
|
|
|
Detecting and Exploiting Subproblem TractabilityIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.468-474
Conference papers
lirmm-00830330v1
|
|
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
Conference papers
lirmm-00830408v1
|
|
Dynamic Virtual Arc ConsistencySAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103
Conference papers
lirmm-00830307v1
|
|
Global Inverse Consistency for Interactive Constraint SatisfactionCP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.159-174
Conference papers
hal-01147298v1
|
|
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
Conference papers
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
Conference papers
lirmm-00830411v1
|
|
Dynamic virtual arc consistency28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.6, ⟨10.1145/2480362.2480384⟩
Conference papers
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⟩
Conference papers
lirmm-00839024v1
|
|
Adaptive Parameterized ConsistencyCP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.143-158, ⟨10.1007/978-3-642-40627-0_14⟩
Conference papers
lirmm-00839025v1
|
|
Cohérences Locales Paramétrées9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France
Conference papers
lirmm-00830410v1
|
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Conference papers
lirmm-00830325v1
|
|
Contraintes globales et décompositions8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France
Conference papers
hal-00830336v1
|
|
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⟩
Conference papers
lirmm-00748179v1
|
|
Filtering Decomposable Global Cost FunctionsAAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada
Conference papers
lirmm-00748187v1
|
|
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⟩
Conference papers
lirmm-00748195v1
|
Filtering decomposable global cost functionsTwenty-Sixth Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.7
Conference papers
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
Conference papers
hal-02747133v1
|
|
Filtrage de fonctions de coût globales décomposables8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France
Conference papers
hal-00809789v1
|
|
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
Conference papers
lirmm-00752314v1
|
A Framework for Combining Set Variable RepresentationsSARA: Symposium of Abstraction, Reformulation, and Approximation, Jul 2012, Leavenworth, WA, United States
Conference papers
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
Conference papers
lirmm-00748652v1
|
|
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⟩
Conference papers
lirmm-00748177v1
|
|
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
Conference papers
hal-01017977v1
|
|
Decomposing global cost functions11th Workshop on Preferences and Soft Contraints (Soft), Labo/service de l'auteur, Ville service, Pays service., Sep 2011, Perugia, Italy
Conference papers
hal-02747863v1
|
|
Solving Difficult CSPs with Relational Neighborhood ConsistencyAAAI Conference on Artificial Intelligence, Aug 2011, San Francisco, CA, United States. pp.112-119
Conference papers
lirmm-00748656v1
|
Relational Consistency by Constraint FilteringSAC: Symposium on Applied Computing, Mar 2010, Sierre, Switzerland. pp.2073-2074
Conference papers
lirmm-00558309v1
|
|
|
Propagating Conjuctions of ALLDIFFERENT ConstraintsAAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, GA, United States. pp.27-32
Conference papers
lirmm-00558126v1
|
|
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⟩
Conference papers
lirmm-00558048v1
|
|
A First Practical Algorithm for High Levels of Relational ConsistencyAAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, GA, United States. pp.101-107
Conference papers
lirmm-00558132v1
|
|
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
Conference papers
lirmm-00382609v1
|
Among, Common and Disjoint ConstraintsProceedings CSCLP: Revised Selected and Invited Papers, Uppsala, Sweden, pp.29-43
Conference papers
lirmm-00378928v1
|
|
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
Conference papers
lirmm-00382607v1
|
|
Circuit Complexity and Decompositions of Global ConstraintsIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.412-418
Conference papers
lirmm-00382608v1
|
|
|
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⟩
Conference papers
lirmm-00545531v1
|
|
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⟩
Conference papers
lirmm-00545541v1
|
|
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⟩
Conference papers
lirmm-00349025v1
|
Automated Constraint ModellingModelling with Constraints: Theory and Practice ACP Summer School, Jul 2008, United Kingdom
Conference papers
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
Conference papers
inria-00291550v1
|
Utiliser les contraintes sans rien y comprendreRFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2008, Amiens, France
Conference papers
lirmm-00329857v1
|
|
Dynamic Backtracking for Distributed Constraint OptimizationECAI'08: Eighteenth European Conference on Artificial Intelligence, Patras, Greece. pp.901-902
Conference papers
lirmm-00329883v1
|
|
|
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
|
|
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⟩
Conference papers
lirmm-00329894v1
|
|
The Parameterized Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence, Jul 2008, Chicago, IL, United States. pp.235-240
Conference papers
lirmm-00272791v1
|
|
Reformulating Global Constraints: The SLIDE and REGULAR ConstraintsSARA: Symposium on Abstraction, Reformulation, and Approximation, Jun 2007, Whistler, Canada. pp.80-92
Conference papers
lirmm-00195913v1
|
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⟩
Conference papers
lirmm-00370442v1
|
|
|
Query-Driven Constraint AcquisitionIJCAI 2007 - 20th International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India. pp.44-49
Conference papers
lirmm-00195905v1
|
"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
Conference papers
lirmm-00189778v1
|
|
Learning Implied Global ConstraintsIJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.50-55
Conference papers
lirmm-00195896v1
|
|
|
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⟩
Conference papers
lirmm-00135534v1
|
|
Mining Historical Data to Build Constraint ViewpointsModRef: Constraint Modelling and Reformulation, Sep 2006, Nantes, France
Conference papers
lirmm-00134936v1
|
|
The ROOTS ConstraintCP: Principles and Practice of Constraint Programming, Sep 2006, Nantes, France. pp.75-90, ⟨10.1007/11889205_8⟩
Conference papers
lirmm-00135537v1
|
|
BlockSolve : une approche bottom-up des QCSPJFPC 2006 - 2e Journées Francophones de Programmation par Contraintes, Jun 2006, Nîmes, France
Conference papers
inria-00085794v1
|
|
Strategic Constraint Satisfaction ProblemsModRef 2006 - 5th International Workshop on Constraint Modelling and Reformulation, Sep 2006, Nantes, France. pp.17-29
Conference papers
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
Conference papers
lirmm-00135217v1
|
|
Acquiring Constraint Networks using a SAT-based Version Space AlgorithmAAAI Conference on Artificial Intelligence, Jul 2006, Boston, MA, United States. pp.1565-1568
Conference papers
lirmm-00135484v1
|
|
Apprentissage de Contraintes Globales ImplicitesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.249-258
Conference papers
inria-00000069v1
|
Filtering Algorithms for the NValue ConstraintCPAIOR, May 2005, Prague, Czech Republic. pp.79-93, ⟨10.1007/11493853_8⟩
Conference papers
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⟩
Conference papers
lirmm-00106045v1
|
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⟩
Conference papers
lirmm-00106044v1
|
|
The Range and Roots Constraints: Specifying Counting and Occurrence ProblemsIJCAI: International Joint Conference on Artificial Intelligence, 2005, Edinburgh, British Virgin Islands. pp.60-65
Conference papers
lirmm-00106096v1
|
|
Optimal and Suboptimal Singleton Arc Consistency AlgorithmsIJCAI: International Joint Conference on Artificial Intelligence, 2005, Edinburgh, United Kingdom. pp.54-59
Conference papers
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
Conference papers
lirmm-00378944v1
|
Measuring Search TreesWorkshop on Modelling and Solving Problems with Constraints - ECAI'2004, 2004, Valencia, Spain. pp.31-40
Conference papers
lirmm-00108865v1
|
|
|
The Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence, Jul 2004, San Jose, CA, United States. pp.112-117
Conference papers
lirmm-00108868v1
|
|
Theoretical Analysis of Singleton Arc ConsistencyWorkshop on Modelling and Solving Problems with Constraints, Aug 2004, Valencia, Spain. pp.20-29
Conference papers
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⟩
Conference papers
lirmm-00108774v1
|
|
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⟩
Conference papers
lirmm-00108914v1
|
|
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⟩
Conference papers
lirmm-00108916v1
|
Disjoint, Partition and Intersection Constraints for Set and Multiset VariablesCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.138-152
Conference papers
lirmm-00108915v1
|
|
|
Improving Asynchronous Backtracking for Dealing with Complex Local ProblemsECAI: Europeen Conference on Artificial Intelligence, Aug 2004, Valencia, Spain. pp.206-210
Conference papers
lirmm-00108867v1
|
|
Propagate the Right Thing: How Preferences Can Speed-Up Constraint SolvingIJCAI: International Joint Conference on Artificial Intelligence, Aug 2003, Acapulco, Mexico. pp.191-196
Conference papers
lirmm-00269564v1
|
|
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
lirmm-00109164v1
|
|
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
Conference papers
lirmm-00191967v1
|
|
Constraint Acquisition as Semi-Automatic ModelingIA: Artificial Intelligence, 2003, Cambridge, United Kingdom. pp.111-124
Conference papers
lirmm-00191968v1
|
|
Pareto-Like Distributions in Random Binary CSPACIA, 2003, Palma de Majorqua, Spain
Conference papers
lirmm-00269777v1
|
|
A General Conflict-Set Based Framework for Partial Constraint SatisfactionSoft Constraints, 2003, Cork, Ireland
Conference papers
lirmm-00269780v1
|
|
Modélisation Semi-Automatique par Acquisition de ContraintesRJCIA: Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 2003, Laval, France. pp.97-110
Conference papers
lirmm-00191969v1
|
|
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⟩
Conference papers
lirmm-00269643v1
|
|
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⟩
Conference papers
lirmm-00269537v1
|
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
Conference papers
lirmm-00269778v1
|
|
|
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
Conference papers
lirmm-00269779v1
|
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.400-407
Conference papers
lirmm-00269776v1
|
|
La Famille ABTJNPC: Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, Jun 2002, Nice, France. pp.57-67
Conference papers
lirmm-00268451v1
|
Range-Based Algorithm for Max-CSPECAI: Workshop on Modelling and Solving Problems with Constraints, Jul 2002, Lyon, France
Conference papers
lirmm-00269318v1
|
|
|
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⟩
Conference papers
lirmm-00268450v1
|
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
Conference papers
hal-03300278v1
|
|
|
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
Conference papers
edutice-00000467v1
|
|
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⟩
Conference papers
hal-03300268v1
|
|
Raisonnement spatial et temporel6e journées nationales PRC-GDR intelligence artificielle, Mar 1997, Grenoble, France. pp.77-88
Conference papers
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
Conference papers
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⟩
Conference papers
lirmm-02310588v1
|
|
Arc-Consistency in Dynamic Constraint Satisfaction ProblemsAAAI Conference on Artificial Intelligence, Jul 1991, Anaheim, CA, United States. pp.221-226
Conference papers
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
Conference poster
lirmm-00748192v1
|
|
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020Books 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⟩
Books
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
Books
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⟩
Book sections
lirmm-02995451v1
|
|
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⟩
Book sections
hal-01606245v1
|
|
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⟩
Book sections
hal-02310649v1
|
|
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⟩
Book sections
hal-01711595v1
|
Constraint PropagationJ. Hendler, H. Kitano, B. Nebel. Handbook of Constraint Programming, Elsevier, pp.29-83, 2006, 0-444-52726-5
Book sections
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
Book sections
lirmm-00269781v1
|
|
Nogood-Based Asynchronous Forward-Checking Algorithms[Research Report] RR-12013, Lirmm. 2012, pp.29
Reports
lirmm-00691197v1
|
|
Agile Asynchronous Backtracking for Distributed Constraint Satisfaction ProblemsRR-11017, 2011, pp.01-20
Reports
lirmm-00595688v2
|
Characterizing Decomposable and Global Constraints[Research Report] 05053, LIRMM. 2005, pp.12
Reports
lirmm-00106652v1
|
|
|
Complexity of the Cardpath Constraint05036, 2005, 4 p
Reports
lirmm-00106686v1
|