DMCA

Chapter 12 Satisfiability Modulo Theories

by Armin Biere , Marijn Heule , Hans Van Maaren , Toby Walsch , C Clark Barrett , Roberto Sebastiani , Sanjit A. Seshia , Cesare Tinelli All , Clark Barrett , Roberto Sebastiani , Sanjit A. Seshia , Cesare Tinelli