Filtrer vos résultats
- 32
- 23
- 44
- 6
- 3
- 1
- 1
- 40
- 16
- 6
- 1
- 2
- 2
- 1
- 4
- 3
- 2
- 3
- 4
- 4
- 8
- 8
- 4
- 1
- 7
- 2
- 48
- 7
- 26
- 16
- 14
- 11
- 7
- 7
- 7
- 6
- 5
- 5
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 55
- 17
- 16
- 16
- 14
- 13
- 11
- 10
- 9
- 9
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
55 résultats
|
|
triés par
|
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable SetsComputer Aided Verification, 9207 (Chapter 5), Springer International Publishing, 16 p., 2015, Lecture Notes in Computer Science, 978-3-319-21667-6. ⟨10.1007/978-3-319-21668-3_5⟩
Chapitre d'ouvrage
hal-01606450v1
|
|||
|
Conflict Directed Clause Learning for the Maximum Weighted Clique Problem27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 8p
Communication dans un congrès
hal-01873485v1
|
||
|
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
|
||
|
Learning Constraints through Partial QueriesArtificial Intelligence, 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩
Article dans une revue
lirmm-04028358v1
|
||
Computational Enzyme Design through deterministic optimization and counting3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland
Communication dans un congrès
hal-01605405v1
|
|||
|
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
|
||
|
MUSes and MCSesAAAI 2016 Workshop on Beyond NP, Feb 2016, Phoenix, United States
Communication dans un congrès
hal-01606478v1
|
||
|
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
|
||
|
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
|
||
An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical ModelsROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Communication dans un congrès
hal-00946323v1
|
|||
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry16th International Conference on Principles and Practice of Constraint Programming (CP'10), 2010, United Kingdom. pp.305-320
Communication dans un congrès
hal-00865476v1
|
|||
|
The SeqBin constraint revisitedCP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. 1012p., ⟨10.1007/978-3-642-33558-7_26⟩
Communication dans un congrès
hal-02748668v1
|
||
Complexity of and Algorithms for Borda ManipulationAAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, Aug 2011, San-Francisco, United States
Communication dans un congrès
hal-00642093v1
|
|||
|
Clique Cuts in Weighted Constraint SatisfactionThe 23rd International Conference on Principles and Practice of Constraint Programming - CP17, Aug 2017, Melbourne, Australia. ⟨10.1007/978-3-319-66158-2_7⟩
Communication dans un congrès
hal-01605434v1
|
||
|
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
|
||
Computational protein design as a cost function network optimization problemSéminaire MOGISA du LAAS/CNRS, Centre National de la Recherche Scientifique (CNRS). FRA., Jun 2013, Toulouse, France
Communication dans un congrès
hal-01268632v1
|
|||
|
Constraint and Satisfiability Reasoning for Graph ColoringJournal of Artificial Intelligence Research, 2020, 69, ⟨10.1613/jair.1.11313⟩
Article dans une revue
hal-02907062v1
|
||
|
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
|
||
Learning Polynomials over GF(2) in a SAT Solver15th International Conference on Theory and Applications of Satisfiability Testing, Jun 2012, Trento, Italy
Communication dans un congrès
hal-00790511v1
|
|||
|
Une restriction de la résolution étendue pour les démonstrateurs SAT modernesJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.43-50
Communication dans un congrès
inria-00519162v1
|
||
Anytime hybrid best-first search with tree decomposition for weighted CSPCP 2015 - 21st International Conference on Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. 17 p., ⟨10.1007/978-3-319-23219-5_2⟩
Communication dans un congrès
hal-01198361v1
|
|||
|
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
|
||
Qualité et diversité garanties dans les réseaux de fonctions de coût2019
Autre publication scientifique
hal-02963117v1
|
|||
Multiple-choice Knapsack Constraint in Graphical Models19. International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), Jun 2022, Los Angeles, United States. pp.282-299, ⟨10.1007/978-3-031-08011-1_19⟩
Communication dans un congrès
hal-04106508v1
|
|||
|
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
Communication dans un congrès
hal-02076298v1
|
||
Symmetries of Symmetry Breaking Constraints19th European Conference on Artificial Intelligence (ECAI'10), 2010, Lisbon, Portugal. pp.861-866
Communication dans un congrès
hal-00865390v1
|
|||
|
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
|
||
Eigenvector centrality in industrial SAT instances18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada
Communication dans un congrès
hal-00790505v1
|
|||
|
Resolution and parallelizability: barriers to the effficient parallelization of SAT solversAAAI 2013 - 27th AAAI Conference, Association for the Advancement of Artificial Intelligence (AAAI). USA., Jul 2013, Bellevue, United States
Communication dans un congrès
hal-02746869v1
|
||
|
Relaxation search: a simple way of managing optional clausesAAAI 2014 - 28th AAAI Conference, Association for the Advancement of Artificial Intelligence (AAAI). USA., Jul 2014, Québec, Canada. 7 p
Communication dans un congrès
hal-02738910v1
|
- 1
- 2