Pages that link to "Item:Q2229157"
From MaRDI portal
The following pages link to An efficient algorithm for representing piecewise linear functions into logic (Q2229157):
Displaying 3 items.
- Modeling linear logic with implicit functions (Q392296) (← links)
- An effective logarithmic formulation for piecewise linearization requiring no inequality constraint (Q2044490) (← links)
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (Q5889305) (← links)