Login / Signup

SAT-based area recovery in structural technology mapping.

Bruno de O. SchmittAlan MishchenkoRobert K. Brayton
Published in: ASP-DAC (2018)
Keyphrases
  • data processing
  • key technologies
  • technological advances
  • neural network
  • cost effective
  • structural information
  • rapid development
  • database
  • data mining
  • case study
  • sat solvers
  • answer set programming
  • ai planning