DateSAT introduces the first solver for satisfiability constraints over dates and calendar periods via five reduction strategies to integer SMT.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
XCheck extracts cross-layer constraints to generate test models and monitor behaviors, revealing 2,034 compiler-platform interaction bugs in three DL compilers.
citing papers explorer
-
DateSAT: A Framework for Solving Date and Period Constraints
DateSAT introduces the first solver for satisfiability constraints over dates and calendar periods via five reduction strategies to integer SMT.
-
Finding Compiler-Platform Interaction Bugs in Deep Learning Pipelines via Cross-Layer Constraints
XCheck extracts cross-layer constraints to generate test models and monitor behaviors, revealing 2,034 compiler-platform interaction bugs in three DL compilers.