Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems.

Javier Larrosa Emma Rollon

Published in: CoRR (2020)

Keyphrases

computer systems
technical systems
real time
evolutionary algorithm
upper bound
retrieval systems
databases
information retrieval
e learning
mobile devices
building blocks
orders of magnitude
cognitive systems