Filtrer vos résultats
- 8
- 2
- 5
- 3
- 1
- 1
- 10
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 10
- 7
- 5
- 4
- 2
- 1
- 1
- 10
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
triés par
|
|
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic FormulationACM Transactions on Computational Logic, 2023, 24 (1), pp.1-26. ⟨10.1145/3568397⟩
Article dans une revue
hal-04097481v1
|
||
|
From complexity to algebra and back: digraph classes, collapsibility and the PGP2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2015, Kyoto, Japan. pp.462-474, ⟨10.1109/LICS.2015.50⟩
Communication dans un congrès
hal-01108627v1
|
||
Quantified Valued Constraint Satisfaction ProblemPrinciples and Practice of Constraint Programming CP 2018, Aug 2018, Lille, France. pp.295-311, ⟨10.1007/978-3-319-98334-9_20⟩
Communication dans un congrès
hal-02288668v1
|
|||
|
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNPthe 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209156⟩
Communication dans un congrès
hal-01829387v1
|
||
Consistency for Counting QuantifiersInternational Symposium on Mathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom
Communication dans un congrès
hal-02288672v1
|
|||
|
Mémoire d'habilitation à diriger des recherchesLogic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012
HDR
tel-01096078v1
|
||
|
Quantified Constraints and Containment Problems2013
Pré-publication, Document de travail
hal-00881149v1
|
||
|
On the complexity of the model checking problemSIAM Journal on Computing, 2017, 47 (3), pp.769-797. ⟨10.1137/140965715⟩
Article dans une revue
hal-01649808v1
|
||
|
Complexity of Conjunctive Regular Path Query HomomorphismsConference on Computability in Europe (CiE 2019), Jul 2019, Durham, United Kingdom. pp.108-119, ⟨10.1007/978-3-030-22996-2_10⟩
Communication dans un congrès
hal-02288666v1
|
||
|
Constraint Satisfaction with Counting QuantifiersSIAM Journal on Discrete Mathematics, 2015, 29 (2), pp.1065 - 1113. ⟨10.1137/140981332⟩
Article dans une revue
hal-01649793v1
|