A new bound for 3-satisfiable MaxSat and its algorithmic application.

Gregory Z. Gutin Mark Jones Dominik Scheder Anders Yeo

Published in: Inf. Comput. (2013)

Keyphrases

upper bound
learning algorithm
data mining
artificial intelligence
search engine
data structure
scheduling problem
sat problem