Redundancy for MaxSAT.

Ilario Bonacina Maria Luisa Bonet Sam Buss Massimo Lauria

Published in: Electron. Colloquium Comput. Complex. (2024)

Keyphrases

upper bound
combinatorial optimization
real time
data sets
neural network
databases
information systems
digital libraries
branch and bound algorithm
randomly generated