Preface to Special Issue on Satisfiability Modulo Theories.

Published in: J. Satisf. Boolean Model. Comput. (2007)

Keyphrases