Login / Signup
Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality.
Miroslav N. Velev
Ping Gao
Published in:
ICCAD (2014)
Keyphrases
</>
symmetry breaking
pseudo boolean
constraint programming
search tree
boolean functions
quantified boolean formulae
computational complexity
boolean optimization