Canonical Decision Diagrams Modulo Theories
Published in ECAI24, 2024
Publications
Experimenting with D-Wave quantum annealers on prime factorization problems
Published in Frontiers in Computer Science, 2024
Enhancing SMT-based Weighted Model Integration by Structure Awareness
Published in AIJ, 2024
Disjoint Partial Enumeration without Blocking Clauses
Published in AAAI24, 2023
Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding
Published in Scientific Reports - Nature, 2023
On CNF Conversion for Disjoint SAT Enumeration
Published in SAT23, 2023
SMT-based weighted model integration with structure awareness
Published in UAI22, 2022