TY - RPRT TI - Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants AU - Virendra Sule PY - 2025 UR - https://arxiv.org/abs/2307.07788 ID - 2307.07788 ER -