Login / Signup
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