2 citations · 2 across the 2 of their papers we have counts for
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.…