Update pubs

Author: sdemarch

index.html

@@ -258,6 +258,12 @@ <h2 class="page-section-heading d-inline-block text-white">Publications</h2>
                 <!-- 2023 -->
                 <li><h4 class="treeview">2023</h4>
                   <ul class="tw-nested">
+                    <li>
+                        <p class="pre-wrap lead">S. Demarchi</p>
+                        <h5>Experimenting with Constraint Programming Techniques in Artificial Intelligence:
+                            Automated System Design and Verification of Neural Networks <span class="badge badge-success">Thesis</span></h5>
+                        <p class="pre-wrap authors">PhD Thesis</p>
+                    </li>
                     <li>
                       <p class="pre-wrap lead">D. Guidotti, S. Demarchi, L. Pulina and A. Tacchella</p>
                       <h5>Evaluating Reachability Algorithms for Neural Networks on NeVer2 <span class="badge badge-light">Preprint</span></h5>