https://giuspek.github.io/portfolio/giappone/ https://giuspek.github.io/portfolio/sardegna/ https://giuspek.github.io/portfolio/vancouver/ https://giuspek.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://giuspek.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://giuspek.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://giuspek.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://giuspek.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://giuspek.github.io/publication/SMT-based-weighted-model-integration-with-structure-awareness 2022-08-17T00:00:00-07:00 https://giuspek.github.io/publication/On-CNF-Conversion-for-Disjoint-SAT-Enumeration 2023-08-09T00:00:00-07:00 https://giuspek.github.io/publication/Effective-Prime-Factorization-via-Quantum-Annealing-by-Modular-Locally-structured-Embedding 2023-10-26T00:00:00-07:00 https://giuspek.github.io/publication/Disjoint-Partial-Enumeration-without-Blocking-Clauses 2023-12-19T00:00:00-08:00 https://giuspek.github.io/publication/Enhancing-SMT-based-Weighted-Model-Integration-by-Structure-Awareness 2024-01-12T00:00:00-08:00 https://giuspek.github.io/publication/Experimenting-with-D-Wave-quantum-annealers-on-prime-factorization-problems 2024-04-20T00:00:00-07:00 https://giuspek.github.io/publication/Disjoint-Partial-Enumeration-without-Blocking-Clauses 2024-10-22T00:00:00-07:00 https://giuspek.github.io/talks/pillole-di-python-1 2022-01-01T00:00:00-08:00 https://giuspek.github.io/talks/pillole-di-python-1 2023-03-30T00:00:00-07:00 https://giuspek.github.io/talks/pillole-di-python-1 2023-04-13T00:00:00-07:00 https://giuspek.github.io/talks/pillole-di-python-1 2023-06-30T00:00:00-07:00 https://giuspek.github.io/teaching/AR-FV-21-22 2021-01-01T00:00:00-08:00 https://giuspek.github.io/teaching/AR-FV-22-23 2022-01-01T00:00:00-08:00 https://giuspek.github.io/teaching/AR-FV-23-24 2023-01-01T00:00:00-08:00 https://giuspek.github.io/ https://giuspek.github.io/archive-layout-with-content/ https://giuspek.github.io/categories/ https://giuspek.github.io/collection-archive/ https://giuspek.github.io/cv/ https://giuspek.github.io/markdown/ https://giuspek.github.io/non-menu-page/ https://giuspek.github.io/page-archive/ https://giuspek.github.io/travels/ https://giuspek.github.io/publications/ https://giuspek.github.io/sitemap/ https://giuspek.github.io/tags/ https://giuspek.github.io/talkmap.html https://giuspek.github.io/talks/ https://giuspek.github.io/teaching/ https://giuspek.github.io/terms/ https://giuspek.github.io/year-archive/ https://giuspek.github.io/markdown_generator/ https://giuspek.github.io/files/AAAI24.pdf 2025-02-09T14:17:43-08:00 https://giuspek.github.io/files/AIJ23.pdf 2025-02-09T14:17:43-08:00 https://giuspek.github.io/files/ECAI.pdf 2025-02-09T14:17:43-08:00 https://giuspek.github.io/files/SAT23.pdf 2025-02-09T14:17:43-08:00 https://giuspek.github.io/files/ScientificReports23.pdf 2025-02-09T14:17:43-08:00 https://giuspek.github.io/files/UAI22.pdf 2025-02-09T14:17:43-08:00 https://giuspek.github.io/files/frontiers24.pdf 2025-02-09T14:17:43-08:00 https://giuspek.github.io/talkmap/map.html 2025-02-09T14:17:43-08:00