Improved Algorithms for Maximum Satisfiability and Its Special Cases.

Kirill Brilliantov Vasily Alferov Ivan Bliznets

Published in: AAAI (2023)

Keyphrases

special case
orders of magnitude
computational complexity
optimization problems
learning algorithm
data structure
belief revision