MaxSAT-Based Inconsistency Measurement.

Andreas Niskanen Isabelle Kuhlmann Matthias Thimm Matti Järvisalo

Published in: ECAI (2023)

Keyphrases

upper bound
database
databases
neural network
computer vision
image processing
branch and bound algorithm
measurement data
measurement error