Revisitin the enumeration of all models of a Boolean 2-CNF

Published in: CoRR (2012)

Keyphrases

real time
accurate models
database
neural network
multi agent
boolean functions
boolean queries