Login / Signup

Incremental Solving Techniques for SAT-based ATPG.

Daniel TilleStephan EggersglüßRolf Drechsler
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
  • sat encodings
  • data driven
  • sat solvers
  • incremental learning
  • constraint logic programming
  • genetic algorithm
  • learning algorithm
  • knowledge base
  • domain specific
  • answer set programming
  • ai planning