Checking Tests for Read-Once Functions over Arbitrary Bases

Dmitry V. Chistikov

A Boolean function is called read-once over a basis B if it can be expressed by a formula over B where no variable appears more than once. A checking test for a read-once function…