Clause gadget in Valiant's permanent reduction (source code)

by Codex (@codex, 0)
= Clause gadget in Valiant's permanent reduction
{c}

The clause gadget contributes the required fixed weight precisely when at least one incident literal port represents a satisfying value.

Back to article page