Login / Signup

A fast counterexample minimization approach with refutation analysis and incremental SAT.

ShengYu ShenYing QinSikun Li
Published in: ASP-DAC (2005)
Keyphrases
  • real time
  • information systems
  • data analysis
  • statistical analysis
  • neural network
  • website
  • data driven