8
collaborators
2021–2026
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
2 Posters
| Title | Conference | Co-authors |
|---|---|---|
| Search-Driven Clause Learning for Product-State Quantum k-SAT (PRODSAT-QSAT) | TQC 2026 | Joon Hyung Lee, Alfons Laarman |
We study PRODSAT-QSAT(k): given rank-one k-local projectors, determine whether a quantum k-SAT instance admits a satisfying product state. We present a CDCL-style refutation framework that searches a finite partition of each qubit’s Bloch sphere while a sound theory solver checks region feasibility using a geometric over-approximation of constraint amplitudes. When the checker proves that no state in a region can satisfy a constraint, it produces a sound conflict clause that blocks that region; accumulated learned clauses can yield a global result of product-state unsatisfiability (UN-PRODSAT). We formalise the problem, prove the soundness of the clause-learning rule, and describe a practical algorithm and implementation. |
||
| Identifying the Higgs boson using quantum classifiers | TQC 2021 | Vasilis Belis, Christina Reissel, Sofia Vallecorsa, Elías Combarro, Günther Dissertori, Florentin Reiter |
Collaborators
| Co-author | Joint talks |
|---|---|
| Alfons Laarman | 1 |
| Christina Reissel | 1 |
| Elías Combarro | 1 |
| Florentin Reiter | 1 |
| Günther Dissertori | 1 |
| Joon Hyung Lee | 1 |
| Sofia Vallecorsa | 1 |
| Vasilis Belis | 1 |