talks
Invited talks, tutorials, and research presentations.
2026
- What #SMT should count? — Model Counting Workshop. PDF
- Computing Short SAT Implicants via Ising/QUBO Encodings — CP 2026. PDF
- Extending CDCL-based Model Enumeration with Weights — Pragmatics of SAT 2026. PDF
- Sometimes Counting is not Enough: Why Model Enumeration Matters — NII Shonan Meeting No. 238. PDF
2024
- Effective Prime Factorization via Quantum Annealing by Modular Locally-Structured Embedding — Invited talk at D-Wave, February 2024. PDF