Verifying the Conversion into CNF in Dafny.

Viorel Iordache Stefan Ciobaca

Published in: WoLLIC (2021)

Keyphrases

boolean functions
model checking
neural network
np complete
special case
decision making
decision trees
data structure
information systems
simulated annealing
computer vision
artificial intelligence
constraint programming
data sets
sat solvers
clause learning
model counting