Linking Łukasiewicz Logic and Boolean Maximum Satisfiability.

Sandro Preto Felip Manyà Marcelo Finger

Published in: ISMVL (2023)

Keyphrases

maximum satisfiability
boolean satisfiability
max sat
sat problem
boolean functions
automated reasoning
computational properties
randomly generated
combinatorial problems
genetic algorithm
objective function
linear programming
branch and bound algorithm