Evolving Solutions to Community-Structured Satisfiability Formulas.

Frank Neumann Andrew M. Sutton

Published in: AAAI (2019)

Keyphrases

satisfiability problem
solution quality
cnf formula
conjunctive normal form
neural network
np complete
structured data
genetic algorithm
optimal solution
propositional logic