E. Cabral Balreira, Olga Kosheleva, Vladik Kreinovich. Algorithmics of Checking whether a Mapping Is Injective, Surjective, and/or Bijective. In Martine Ceberio, Vladik Kreinovich, editors, Constraint Programming and Decision Making. Volume 539 of Studies in Computational Intelligence, pages 1-7, Springer, 2014. [doi]
Abstract is missing.