Determining minimal testsets for reversible circuits using Boolean satisfiability
Determining minimal testsets for reversible circuits using Boolean satisfiability is a scholarly work by Robert Wille and Rolf Drechsler, published in 2011. The main subjects of the publication include domain, computer science, quantum computing, Automatic test pattern generation, computational complexity theory, algorithm, logic gate, electronic circuit, boolean satisfiability problem, Boolean circuit, theoretical computer science, computation, floating point, satisfiability, Boolean function, quantum computer, and scalability. Furthermore, reversible circuits found significant attention in the domain of quantum computation.