Non-isomorphic CNF Generation.

Paolo Fantozzi Luigi Laura Umberto Nanni Alessandro Villa

Published in: DCAI (1) (2021)

Keyphrases

generation process
boolean functions
genetic algorithm
expert systems
sat solvers
information systems
case study
optimal solution
computational complexity
search space
knowledge compilation