A SAT-assisted construction proves that O_N-tile decompositions of hypercubes induce UPBs, yielding new UPB sizes 13 through 23 in C^3⊗C^3⊗C^3.
Strong np-hardness of the quantum separability problem.Quantum Information and Com- putation, 10(3):343–360, 2010
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
quant-ph 1years
2026 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Automated Construction and Verification of Unextendible Product Bases
A SAT-assisted construction proves that O_N-tile decompositions of hypercubes induce UPBs, yielding new UPB sizes 13 through 23 in C^3⊗C^3⊗C^3.