Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks

Published in Università degli Studi di Genova, 2023

Recommended citation: S. Demarchi (2023), "Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks." PhD Thesis, 2023.