Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability.

Sandro Preto Marcelo Finger

Published in: Math. Struct. Comput. Sci. (2022)

Keyphrases

multi valued
automated reasoning
search algorithm
satisfiability problem
satisfiability testing
special case
text mining
logic programming
np complete
constraint satisfaction problems
computationally expensive
propositional logic
computational properties