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

Nils Froleyks Armin Biere

Published in: FMCAD (2021)

Keyphrases

horn clauses
decision trees
database systems
information processing
integrated circuit
multi agent
relational databases