Structure-Guided Cube-and-Conquer for MaxSAT.

Max Bannach Markus Hecher

Published in: NFM (2024)

Keyphrases

structural information
databases
real world
multi dimensional
data sets
information retrieval
social networks
knowledge base
case study
bayesian networks
expert systems
artificial neural networks
constraint satisfaction
structural properties