393 citations · 393 across the 3 of their papers we have counts for
1 paper · 1 filter
Sam Bayless, Noah Bayless, Holger H. Hoos +1
We define the concept of a monotonic theory and show how to build efficient SMT (SAT Modulo Theory) solvers, including effective theory propagation and clause learning, for such th…