A Complete Tableau Calculus for the Regular MaxSAT Problem.

Jordi Coll Chu-Min Li Felip Manyà Elifnaz Yangin

Published in: CCIA (2023)

Keyphrases

upper bound
machine learning
combinatorial optimization
data mining
artificial intelligence
high level
logic programs
branch and bound algorithm
tableau calculus