Circuit Based Encoding of CNF Formula.

Gilles Audemard Lakhdar Sais

Published in: SAT (2007)

Keyphrases

cnf formula
np complete
max sat
sat problem
knowledge compilation
propositional formulas
weighted max sat
neural network
machine learning
reinforcement learning
optimal solution
natural language
linear programming
particle swarm optimization
conjunctive normal form