Markus Hecher - Chargé de recherche CNRS
Coordonnées
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.