The MaxSAT Problem in the Real-Valued MV-Algebra.

Zuzana Haniková Felip Manyà Amanda Vidal

Published in: TABLEAUX (2023)

Keyphrases

real valued
complex valued
upper bound
integer valued
interval valued
multiple instance
real valued data
combinatorial optimization
distributed representations
sat solvers
continuous functions
neural network
recurrent neural networks
information extraction
low error
digital libraries
genetic algorithm