On quantified weighted MAX-SAT.

Amol Dattatraya Mali

Published in: Decis. Support Syst. (2005)

Keyphrases

weighted max sat
max sat
sat solvers
boolean satisfiability
search algorithm
branch and bound algorithm
satisfiability problem
sat problem
neural network
genetic algorithm
lower bound
orders of magnitude
branch and bound