1 paper · 1 filter
Yong Lai, Junjie Li, Chuan Luo
Satisfiability Modulo Linear Integer Arithmetic, SMT(LIA) for short, is pivotal across various critical domains. Previous research has primarily focused on SMT solving techniques.…