Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking.
Weixin WuMichael S. HsiaoPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
- global constraints
- domain knowledge
- boolean constraints
- constraint programming
- constraint satisfaction problems
- weighted constraint satisfaction
- boltzmann machine
- pattern mining
- symmetry breaking
- prior knowledge
- sequential patterns
- fixed parameter tractable
- domain specific
- special case
- integrity constraints
- integer programming
- constraint satisfaction
- domain independent
- itemsets
- parameterized complexity