TY - RPRT TI - Mathematical crystal chemistry: A formal theory for crystal structure prediction by generalized disjunctive programming AU - Ryotaro Koshoji PY - 2026 UR - https://arxiv.org/abs/2606.07927 ID - 2606.07927 ER -