A Logical Characteristic of Read-Once Branching Programs.

Published in: Electron. Colloquium Comput. Complex. (2019)

Keyphrases

logical representation
logical properties
information systems
probabilistic logic
logical framework
logical structure
logical reasoning
pruning algorithms