A Complete Adaptive Algorithm for Propositional Satisfiability.

Renato Bruni Antonio Sassano

Published in: Discret. Appl. Math. (2003)

Keyphrases

propositional satisfiability
learning algorithm
dynamic programming
artificial intelligence
objective function
optimal solution
computational complexity
search space
np hard
simulated annealing
propositional logic
randomly generated