Analysis of Core-Guided MaxSat Using Cores and Correction Sets.

Nina Narodytska Nikolaj S. Bjørner

Published in: SAT (2022)

Keyphrases

upper bound
neural network
data analysis
image analysis
database
real time
machine learning
information retrieval
computer vision
three dimensional
constraint satisfaction
combinatorial optimization