Open AccessAn Efficient Algorithm for Representing Piecewise Linear Functions into Logic
Author(s) -
Sandro Preto,
Marcelo Finger
Publication year - 2020
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2020.08.009
Subject(s) - representation (politics) , mathematics , modulo , algorithm , satisfiability , set (abstract data type) , piecewise linear function , discrete mathematics , algebra over a field , function (biology) , computer science , pure mathematics , geometry , evolutionary biology , politics , political science , law , biology , programming language
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom