Login / Signup

Utilizing don't care states in SAT-based bounded sequential problems.

Sean SafarpourGörschwin FeyAndreas G. VenerisRolf Drechsler
Published in: ACM Great Lakes Symposium on VLSI (2005)
Keyphrases
  • long term
  • neural network
  • np complete
  • problems involving
  • information systems
  • knowledge representation
  • logic programming
  • practical problems