1. Science
  2. Publications
  3. Information Processing Systems
  4. 6(55)'2006
  5. About recognizing and calculable variants of task "executableness"

About recognizing and calculable variants of task "executableness"

S. Listrovoj, E. Listrovaya
Annotations languages:

It is in-process rotined that variant of recognition whether executable arbitrary a function is boole or not, polynomially solvable, and calculable variant of task, at proper the time to specify the set of variables, on which a function takes on a value «truly», has exponential complication.