C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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