Login / Signup
Using unsatisfiable cores to debug multiple design errors.
André Sülflow
Görschwin Fey
Roderick Bloem
Rolf Drechsler
Published in:
ACM Great Lakes Symposium on VLSI (2008)
Keyphrases
</>
search algorithm
evolutionary algorithm
logic programs
search strategy