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

• Autor(es): Finger, Marcelo
• Data: 2022
• Origem: Oasisbr
• Assunto(s): LÓGICA MATEMÁTICA
• Tipo de Documento: Artigo científico
• Idioma: Inglês