4.1 Article

Error-Free Affine, Unitary, and Probabilistic OBDDs

Related references

Note: Only part of the references are listed.
Proceedings Paper Computer Science, Artificial Intelligence

Computational Limitations of Affine Automata

Mika Hirvensalo et al.

UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2019 (2019)

Article Computer Science, Artificial Intelligence

Language recognition power and succinctness of affine automata

Marcos Villagra et al.

NATURAL COMPUTING (2018)

Article Computer Science, Artificial Intelligence

Language recognition power and succinctness of affine automata

Marcos Villagra et al.

NATURAL COMPUTING (2018)

Proceedings Paper Computer Science, Theory & Methods

Error-Free Affine, Unitary, and Probabilistic OBDDs

Rishat Ibrahimov et al.

DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018 (2018)

Article Computer Science, Theory & Methods

On a Conjecture by Christian Choffrut

Aleksandrs Belovs et al.

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2017)

Proceedings Paper Computer Science, Theory & Methods

Nondeterministic Unitary OBDDs

Aida Gainutdinova et al.

COMPUTER SCIENCE - THEORY AND APPLICATIONS (CSR 2017) (2017)

Article Computer Science, Theory & Methods

Exact Affine Counter Automata

Masaki Nakanishi et al.

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2017)

Proceedings Paper Computer Science, Artificial Intelligence

On the Computational Power of Affine Automata

Mika Hirvensalo et al.

LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2017) (2017)

Article Mathematics

Very narrow quantum OBDDs and width hierarchies for classical OBDDs

F. Ablayev et al.

LOBACHEVSKII JOURNAL OF MATHEMATICS (2016)

Proceedings Paper Computer Science, Theory & Methods

Affine Computation and Affine Automaton

Alejandro Diaz-Caro et al.

COMPUTER SCIENCE - THEORY AND APPLICATIONS, CSR 2016 (2016)

Article Computer Science, Theory & Methods

On the computational power of probabilistic and quantum branching program

F Ablayev et al.

INFORMATION AND COMPUTATION (2005)

Article Computer Science, Theory & Methods

Quantum branching programs and space-bounded nonuniform quantum complexity

M Sauerhoff et al.

THEORETICAL COMPUTER SCIENCE (2005)

Article Computer Science, Theory & Methods

Two-way finite automata with quantum and classical states

A Ambainis et al.

THEORETICAL COMPUTER SCIENCE (2002)

Article Computer Science, Theory & Methods

On the power of Las Vegas for one-way communication complexity, OBDDs, and finite automata

J Hromkovic et al.

INFORMATION AND COMPUTATION (2001)

Article Computer Science, Theory & Methods

A read-once lower bound and a (1,+k)-hierarchy for branching programs

P Savicky et al.

THEORETICAL COMPUTER SCIENCE (2000)