Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Subject "Satisfiability"
Now showing items 1-1 of 1
-
Combinatorial Problems arising in Quantum Physics and Model counting
This thesis investigates some combinatorial problems arising in quantum physics and model counting. In particular, we develop new graph-theoretic techniques to resolve some open questions from quantum photonics. We also ...