Leyi Cui

Identifiers

• name variant Leyi Cui 0.60 · backfill

Papers (1)

1. DateSAT: A Framework for Solving Date and Period Constraints cs.LO · 2026 · author #1

Mentions

• 2605.25180 #1 · arxiv_oai · confidence 0.70 Leyi Cui

Frequent Coauthors

• Rohan Padhye 1 shared papers
• Shrey Tiwari 1 shared papers