circuit_multivalued (594B)
1 # Circuit multivalued 2 3 Variants of [Boolean_circuits] defined in a multivalued fashion, see [amarilli2024tractable] 4 5 - [union_product_circuit] 6 - [disjoint_union_product_circuit] 7 - [union_join_circuit] 8 9 Circuits can be made [constant_free] by propagating away constants, unless they represent the empty set or the complete set 10 11 Enforcing [circuit_structuredness], or enforcing [circuit_determinism], results in an exponential blowup: cf [vinallsmeeth2025how] Example 2.12 12 13 Up: [circuit] 14 15 See also: [Factorized_database], [multivalued_formula] 16 17 Aliases: multivalued circuit, multivalued circuits