Mining global constraints for improving bounded sequential equivalence checking.

Weixin Wu Michael S. Hsiao

Published in: DAC (2006)

Keyphrases

global constraints
constraint programming
boolean constraints
constraint satisfaction problems
fixed parameter tractable
weighted constraint satisfaction
symmetry breaking
boltzmann machine
parameterized complexity
pattern mining
optimal solution
np hard
query language
probabilistic model
graph cuts