Sign in

Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation).

Paolo MarinChristian MillerBernd Becker
Published in: SAT (2012)
Keyphrases
  • preprocessing
  • design process
  • database
  • artificial intelligence
  • website
  • feature extraction
  • databases
  • real world
  • data mining
  • information retrieval