Boolean satis with transitivity constraints (2000)

by R E Bryant, M N Velev
Venue:In CAV 2000, LNCS 1855