Cited By
View all- Zhao JXu JDi PNie WHu JYi YYang SGeng ZZhang RLi BGan ZJin X(2024)Modeling the Interplay between Loop Tiling and Fusion in Optimizing Compilers Using Affine RelationsACM Transactions on Computer Systems10.1145/363530541:1-4(1-45)Online publication date: 15-Jan-2024
- Kimura KNakayama K(2024)Neighborhood persistency of the linear optimization relaxation of integer linear optimizationMathematical Programming10.1007/s10107-024-02174-0Online publication date: 18-Dec-2024
- Pitchanathan ACohen AZinenko OGrosser T(2024)Strided Difference Bound MatricesComputer Aided Verification10.1007/978-3-031-65627-9_14(279-302)Online publication date: 24-Jul-2024
- Show More Cited By