1 citations · 1 across the 1 of their papers we have counts for
1 paper
Ofer Strichman
Disjunctive Linear Arithmetic (DLA) is a major decidable theory that is supported by almost all existing theorem provers. The theory consists of Boolean combinations of predicates…