{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:01:54Z","timestamp":1725598914888},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T00:00:00Z","timestamp":1624406400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T00:00:00Z","timestamp":1624406400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,23]]},"DOI":"10.23919\/cisti52073.2021.9476491","type":"proceedings-article","created":{"date-parts":[[2021,7,12]],"date-time":"2021-07-12T17:44:30Z","timestamp":1626111870000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Manipulation for Optimization of Boolean Functions for Control of Pneumatic and Electropneumatic Circuits"],"prefix":"10.23919","author":[{"given":"Antonio Ferreira","family":"da Silva","sequence":"first","affiliation":[{"name":"ISEP – Instituto Superior de Engenharia do Porto,Polit\u00e9cnico do Porto,Porto,Portugal"}]},{"given":"Adriano A.","family":"Santos","sequence":"additional","affiliation":[{"name":"ISEP – Instituto Superior de Engenharia do Porto,Polit\u00e9cnico do Porto,Porto,Portugal"}]}],"member":"263","event":{"name":"2021 16th Iberian Conference on Information Systems and Technologies (CISTI)","start":{"date-parts":[[2021,6,23]]},"location":"Chaves, Portugal","end":{"date-parts":[[2021,6,26]]}},"container-title":["2021 16th Iberian Conference on Information Systems and Technologies (CISTI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9476245\/9476219\/09476491.pdf?arnumber=9476491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T20:10:55Z","timestamp":1659471055000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9476491\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,23]]},"references-count":0,"URL":"https:\/\/doi.org\/10.23919\/cisti52073.2021.9476491","relation":{},"subject":[],"published":{"date-parts":[[2021,6,23]]}}}