Login / Signup
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