An Efficient Algorithm for Representing Piecewise Linear Functions into Logic
2020 ◽
Vol 351
◽
pp. 167-186
1990 ◽
Vol 428
(1875)
◽
pp. 351-377
◽
2018 ◽
Vol 34
(5)
◽
pp. 1035-1055
◽
Keyword(s):
1991 ◽
Vol 19
(2)
◽
pp. 107-123
◽
Keyword(s):
2004 ◽
Vol 27
(6)
◽
pp. 1017-1027
◽
Keyword(s):
1965 ◽
Vol 9
(2)
◽
pp. 112-119
◽
Keyword(s):
2015 ◽
Vol 799-800
◽
pp. 989-993
◽