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

Javier Larrosa Emma Rollon

Published in: SAT (2020)

Keyphrases

management system
building blocks
real time
machine learning
genetic algorithm
neural network
expert systems
mobile robot
intelligent systems
computer systems
learning systems