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
|
||
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
|
|||
|
|
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
|
|||
|
|
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
|
||
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
|
|||
|
|
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
|
||
|
|
A new framework for computational protein design through cost function network optimizationJOBIM 2013 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Société Française de Bio-Informatique (SFBI). FRA., Jul 2013, Toulouse, France. 2 p
Communication dans un congrès
hal-01268555v1
|
||
|
|
Computational protein design as a cost function network optimization problemCP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. pp.10, ⟨10.1007/978-3-642-33558-7_60⟩
Communication dans un congrès
hal-01191320v1
|
||
|
|
An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Jul 2023, Alghero, Italy. ⟨10.4230/LIPIcs.SAT.2023.12⟩
Communication dans un congrès
hal-04199433v1
|
||
|
|
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
|
||
|
|
Partial Queries for Constraint Acquisition2020
Pré-publication, Document de travail
hal-03088013v1
|
||
|
|
Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individualsBioinformatics, 2022, 38 (17), pp.4127-4134. ⟨10.1093/bioinformatics/btac445⟩
Article dans une revue
hal-03776333v1
|
||
|
|
A new framework for computational protein design through cost function network optimizationBioinformatics, 2013, 29 (17), pp.2129-2136. ⟨10.1093/bioinformatics/btt374⟩
Article dans une revue
hal-01268153v1
|
||
|
|
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
|
- 1
- 2