Decision and optimization problems in the unreliable-circuit logic

João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas. Decision and optimization problems in the unreliable-circuit logic. Logic Journal of the IGPL, 25(3):283-308, 2017. [doi]

Abstract

Abstract is missing.