On Efficiently Solvable Cases of Quantum k-SAT. - Marco Aldi; Niel de Beaudrap; Sevag Gharibian; Seyran Saeedi (MFCS, 2018)

Arithmetical Semirings. - Marco Aldi (Discret. Math., 2019)

An unholy trinity: TFNP, polynomial systems, and the quantum satisfiability problem. - Marco Aldi; Sevag Gharibian; Dorian Rudolph (Electron. Colloquium Comput. Complex., 2025)