Daniel Crowley - PhD student
Personal Data
- crowley@cril.fr
https://orcid.org/0009-0000-2545-6993
- idHaldaniel-crowley
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.