@ARTICLE {21386, author={J. Rasga and C. Sernadas and P. Mateus and A. Sernadas}, doi={10.1093/jigpal/jzx005}, journal={Logic Journal of the IGPL}, title={Decision and optimization problems in the unreliable-circuit logic}, year={2017}, month={April}, volume={jzx00}, number={1}, pages={1-25}, ISSN={1367-0751} }