Sign in

Evaluating the effectiveness of D-chains in SAT-based ATPG.

Jan BurchardFelix NeubauerPascal RaiolaDominik ErbBernd Becker
Published in: LATS (2017)
Keyphrases
  • answer set programming
  • website
  • decision trees
  • expert systems
  • logic programs
  • ai planning
  • bounded model checking