Markus Hecher - CNRS researcher
Kontaktdaten
- secrétariat
- hecher@cril.fr
- https://www.dbai.tuwien.ac.at/staff/hecher/
https://orcid.org/0000-0003-0131-6771
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Forschungsachsen
- Wissensrepräsentationstheorie und formales Schliessen
- Constraints
Publications
International journals
2023 Constraints 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.