Cited By
View all- Molavi ASchneider TDowning MBang L(2020)MCBAT: Model Counting for Constraints over Bounded Integer ArraysSoftware Verification10.1007/978-3-030-63618-0_8(124-143)Online publication date: 6-Dec-2020
- Jing RMoreno Maza M(2020)The Z_Polyhedra Library in MapleMaple in Mathematics Education and Research10.1007/978-3-030-41258-6_10(132-144)Online publication date: 28-Feb-2020
- WOODS K(2015)PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALSThe Journal of Symbolic Logic10.1017/jsl.2015.480:2(433-449)Online publication date: 22-Apr-2015
- Show More Cited By