DateSAT: A Framework for Solving Date and Period Constraints

Leyi Cui, Shrey Tiwari, Rohan Padhye

Dates and calendar periods (i.e., days, months, years) appear frequently in tasks involving analysis of software, data, and documents. Prior research has shown that computer logic…