Sign in

Single Clause Assumption without Activation Literals to Speed-up IC3.

Nils FroleyksArmin Biere
Published in: FMCAD (2021)
Keyphrases
  • horn clauses
  • decision trees
  • database systems
  • information processing
  • integrated circuit
  • multi agent
  • relational databases