Cover Image

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Sule, Virendra
Format:	Preprint
Published:	2023
Subjects:	Symbolic Computation Computational Complexity I.1.2; G.2.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Solving Modular Linear Systems with a Constraint by parallel decomposition of the Smith form and extended Euclidean division modulo powers of primes divisors
by: Sule, Virendra
Published: (2025)

Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era
by: Iravanian, Shahriar
Published: (2024)

Polynomial Complexity of Inversion of sequences and Local Inversion of Maps
by: Sule, Virendra
Published: (2024)

Power Series Composition in Near-Linear Time
by: Kinoshita, Yasunori, et al.
Published: (2024)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
by: Lin, Yi, et al.
Published: (2025)

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
by: Eberly, Wayne, et al.
Published: (2007)

Certification of the QR factor R, and of lattice basis reducedness
by: Villard, Gilles
Published: (2007)

Symbolic Summation of Multivariate Rational Functions
by: Chen, Shaoshi, et al.
Published: (2022)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
by: Chen, Shaoshi, et al.
Published: (2026)

Complete Reduction for Derivatives in a Primitive Tower
by: Du, Hao, et al.
Published: (2025)

Non-minimality of minimal telescopers explained by residues
by: Chen, Shaoshi, et al.
Published: (2025)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

Probabilistic Shoenfield Machines
by: Bujok, Maksymilian, et al.
Published: (2024)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

Semi-Centennial REDUCE
by: Norman, Arthur C., et al.
Published: (2025)

On the formalization of the notion of a concurrent algorithm
by: Middelburg, C. A.
Published: (2024)

Descriptive complexity for neural networks via Boolean networks
by: Ahvonen, Veeti, et al.
Published: (2023)

Formalizing the notions of non-interactive and interactive algorithms
by: Middelburg, C. A.
Published: (2024)

Problems from Optimization and Computational Algebra Equivalent to Hilbert's Nullstellensatz
by: Bläser, Markus, et al.
Published: (2025)

Complexity and algorithms for Swap median and relation to other consensus problems
by: Cunha, Luís, et al.
Published: (2024)

Visual Orientalism in the AI Era: From West-East Binaries to English-Language Centrism
by: Zhao, Zhilong, et al.
Published: (2025)

LLMs Aren't Human: A Critical Perspective on LLM Personality
by: Zierahn, Kim, et al.
Published: (2026)

Complex reflection groups as differential Galois groups
by: Arreche, Carlos E., et al.
Published: (2024)

Positivity certificates for linear recurrences
by: Ibrahim, Alaa, et al.
Published: (2023)

The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
by: Yu, Zhiming, et al.
Published: (2026)

Arboretum.hs: Symbolic manipulation for algebras of graphs
by: Bronasco, Eugen, et al.
Published: (2026)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
by: Wang, Shuai, et al.
Published: (2024)

Classifying extrema using intervals
by: Gutowski, Marek W.
Published: (2006)

Skolem Meets Bateman-Horn
by: Luca, Florian, et al.
Published: (2023)

Folding One Polyhedral Metric Graph into Another
by: Chung, Lily, et al.
Published: (2024)

$XX^{t}$ Can Be Faster
by: Rybin, Dmitry, et al.
Published: (2025)

AI-generated stories favour stability over change: homogeneity and cultural stereotyping in narratives generated by gpt-4o-mini
by: Rettberg, Jill Walker, et al.
Published: (2025)

On the Decidability of Verification under Release/Acquire
by: Conrado, Giovanna Kobus, et al.
Published: (2026)

PosSLP and Sum of Squares
by: Bläser, Markus, et al.
Published: (2024)

Co-Ontogeny by Archetypal Scaffolding: The Humorphic Partnership
by: Olmos, Hector Ouilhet
Published: (2026)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
by: Li, Hongbo, et al.
Published: (2025)

D-algebraic Guessing
by: Tabuguia, Bertrand Teguia
Published: (2025)

Cognitive Amplification vs Cognitive Delegation in Human-AI Systems: A Metric Framework
by: Di Santi, Eduardo
Published: (2026)

Symbolic Integration in Weierstrass-like Extensions
by: Chen, Shaoshi, et al.
Published: (2026)