Theoretical Computer Science: Computational Complexity

Olivier Bournez (1) , Gilles Dowek (2) , Rémi Gilleron (3) , Serge Grigorieff (4) , Jean-Yves Marion (5) , Simon Perdrix (6) , S. Tison (7)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
3 MAGNET - Machine Learning in Information Networks
4 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
5 CARBONE - Carbone
6 MOCQUA - Designing the Future of Computational Models
7 LINKS - Linking Dynamic Data

Domaines: Informatique [cs]

Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, et al.. Theoretical Computer Science: Computational Complexity. A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020. ⟨hal-02995771⟩