Tableaux for Maximum Satisfiability in Łukasiewicz Logic.

Chu Min Li Felip Manyà Amanda Vidal

Published in: ISMVL (2020)

Keyphrases

modal logic
maximum satisfiability
sequent calculi
boolean satisfiability
automated reasoning
max sat
temporal logic
logic programming
inference rules
combinatorial problems
evolutionary algorithm
special case
cellular automata
lower bound
sat problem
objective function
genetic algorithm