|
|
|
|
|
Wei Gao, Hengyi Lv, Qiang Zhang and Dunbo Cai
The satisfiability modulo theories (SMT) problem is to decide the satisfiability of a logical formula with respect to a given background theory. This work studies the counting version of SMT with respect to linear integer arithmetic (LIA), termed SMT(LIA...
ver más
|
|
|
|
|