Tbuddy: A Proof-Generating BDD Package.

Randal E. Bryant

Published in: FMCAD (2022)

Keyphrases

boolean functions
database
theorem proving
generation process
real time
neural network
data mining
genetic algorithm
computer vision
software package
proof planning