2 papers
cs.DS2025
Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models
Landon Taylor, Joshua Jeppson, Ahmed Irfan +3
Highly-concurrent system models with vast state spaces like Chemical Reaction Networks (CRNs) that model biological and chemical systems pose a formidable challenge to cutting-edge…
cs.LO2021
lazybvtoint at the SMT Competition 2020
Yoni Zohar, Ahmed Irfan, Makai Mann +3
lazybvtoint is a new prototype SMT-solver, that will participate in the incremental and non-incremental tracks of the \qfbv logic.