Gaffney, Christopher; Quint, Thomas - In: The IUP Journal of Computer Sciences VI (2012) 1, pp. 39-56
In this paper, we consider the inference problem for monotone Boolean structure functions (for example, Torvik and Triantaphyllou, 2002 and 2005; or Judson et al., 2005). We follow Judson’s algorithm (in Judson, 1999; or Judson et al., 2005), except with two possible changes. First, when choosing a...