Filtrer vos résultats
- 20
- 2
- 14
- 6
- 1
- 1
- 22
- 1
- 4
- 3
- 3
- 2
- 1
- 1
- 5
- 2
- 1
- 21
- 1
- 13
- 13
- 7
- 3
- 1
- 1
- 1
- 1
- 1
- 22
- 8
- 7
- 7
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
22 résultats
|
|
triés par
|
|
Partial Queries for Constraint Acquisition2020
Pré-publication, Document de travail
hal-03088013v1
|
||
|
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable22nd International Conference on Principles and Practice of Constraint Programming (CP'16), Sep 2016, Toulouse, France. pp.130 - 146, ⟨10.1007/978-3-319-44953-1_9⟩
Communication dans un congrès
hal-01413124v1
|
||
|
The Complexity of General-Valued Constraint Satisfaction Problems Seen from the Other SideSIAM Journal on Computing, 2022, 51 (1), pp.19-69. ⟨10.1137/19M1250121⟩
Article dans une revue
hal-03872229v1
|
||
|
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
|
||
|
Propagation via Kernelization: The Vertex Cover ConstraintThe 22nd International Conference on Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.147 - 156, ⟨10.1007/978-3-319-44953-1_10⟩
Communication dans un congrès
hal-01459870v1
|
||
|
On the Kernelization of Global ConstraintsInternational Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. 7p
Communication dans un congrès
hal-01670318v1
|
||
|
Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation28th AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2630-2636, ⟨10.1609/aaai.v28i1.9117⟩
Communication dans un congrès
hal-01084606v1
|
||
|
On Singleton Arc Consistency for CSPs Defined by Monotone PatternsInternational Symposium on Theoretical Aspects of Computer Science (STACS 2018), Feb 2018, Caen, France. pp.19 - 20, ⟨10.4230/LIPIcs.STACS.2018.19⟩
Communication dans un congrès
hal-02930099v1
|
||
|
Harnessing tractability in constraint satisfaction problemsArtificial Intelligence [cs.AI]. Institut National Polytechnique de Toulouse - INPT, 2016. English. ⟨NNT : 2016INPT0118⟩
Thèse
tel-01444799v2
|
||
|
The Meta-Problem for Conservative Mal'tsev ConstraintsThirtieth AAAI Conference on Artificial Intelligence (AAAI-16), Feb 2016, Phoenix, Arizona, United States
Communication dans un congrès
hal-01230681v1
|
||
|
Point-width and Max-CSPsLICS 2019 - 34th ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785660⟩
Communication dans un congrès
hal-02088817v1
|
||
|
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
|
||
|
Point-Width and Max-CSPsACM Transactions on Algorithms, 2020, 16 (4), pp.1-28. ⟨10.1145/3409447⟩
Article dans une revue
hal-03088008v1
|
||
|
Tractable Explaining of Multivariate Decision TreesKR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.127-135, ⟨10.24963/kr.2023/13⟩
Communication dans un congrès
hal-04268587v1
|
||
|
On Singleton Arc Consistency for CSPs Defined by Monotone PatternsAlgorithmica, 2019, 81 (4), pp.1699-1727. ⟨10.1007/s00453-018-0498-2⟩
Article dans une revue
hal-02930064v1
|
||
|
On Backdoors to Tractable Constraint LanguagesPrinciples and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.224-239, ⟨10.1007/978-3-319-10428-7_18⟩
Communication dans un congrès
hal-01154625v1
|
||
|
On Redundancy in Constraint Satisfaction ProblemsCP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.11:1--11:15, ⟨10.4230/LIPIcs.CP.2022.11⟩
Communication dans un congrès
hal-03858180v1
|
||
|
Complexity of minimum-size arc-inconsistency explanationsConstraints, 2023, 28, pp.427-449. ⟨10.1007/s10601-023-09360-5⟩
Article dans une revue
hal-04275512v1
|
||
|
Tractability in Constraint Satisfaction Problems: A SurveyConstraints, 2016, 21 (2), pp.115-144. ⟨10.1007/s10601-015-9198-6⟩
Article dans une revue
hal-01230685v1
|
||
|
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
|
||
|
Learning Constraints through Partial QueriesArtificial Intelligence, 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩
Article dans une revue
lirmm-04028358v1
|