# Search results

Bulletin of the Section of Logic > 2020 > 49 > 3 > 291-324

*n*] (where

*n*is the number of input non-Boolean variables) as the range for all non-Boolean variables, resulting in a state-space of

*n*

^{ n }. Although various attempts to minimize...

Journal of Applied Logic > 2012 > 10 > 2 > 199-217