Long Qian
Publications
CV

Long Qian

Fifth year PhD student in logic at Carnegie Mellon University

Email
Google Scholar
ORCID

Unfolding Boxes with Local Constraints

Published in _Conference on Automated Deduction (CADE-30)_, 2025

Categories: auto

Share on

Twitter Facebook LinkedIn

Follow:
Feed

© 2025 Long Qian. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.