Markus Hecher - Chargé de recherche CNRS
Coordonnées
Axes de recherche
- Connaissances
- Contraintes
Publications
Articles de revues internationales
2023 Contraintes Johannes Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider, The Silent (R)evolution of SAT in Communications of the ACM,vol. 66, n° 6, pp. 64-72, 2023.