Improving Representative Computation in ExpliSAT.

Published in: Haifa Verification Conference (2013)

Keyphrases