1. Constraint solving for finite model finding in SMT solvers*. Issue 4 (28th June 2017) Authors: REYNOLDS, ANDREW; TINELLI, CESARE; BARRETT, CLARK Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 516 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗