Daniel Crowley - PhD student
Personal Data
- secrétariat
- crowley@cril.fr
https://orcid.org/0009-0000-2545-6993
- idHaldaniel-crowley
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Degree prepared or obtained while being at CRIL
Research Axis
- Constraints
Publications
Technical reports
2024 Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi, On Finding Counter-Models: Approach Based on Instantiating Abstract Sets 2024.