Login / Signup

Using unsatisfiable cores to debug multiple design errors.

André SülflowGörschwin FeyRoderick BloemRolf Drechsler
Published in: ACM Great Lakes Symposium on VLSI (2008)
Keyphrases
  • search algorithm
  • evolutionary algorithm
  • logic programs
  • search strategy