Login / Signup
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.
Mario Alviano
Carmine Dodaro
Francesco Ricca
Published in:
IJCAI (2015)
Keyphrases
</>
computational complexity
space complexity
combinatorial optimization
dynamic programming
linear programming
upper bound
relational databases
evolutionary algorithm
np hard
linear program