D. Michael Miller (University of Victoria, Canada): Decision Diagram Techniques for Reversible and Quantum Circuits
Abstract
Presentation
Robert Wille, Daniel Große (University of Bremen, Germany), Gerhard W. Dueck (University of New Brunswick, Canada), Rolf Drechsler (University of Bremen, Germany): Reversible Logic Synthesis with Output Permutation
Abstract
Pawel Kerntopf, Marek Szyprowski (Warsaw University of Technology, Poland): On Some Properties of Reversible Boolean Functions
Abstract
Presentation
Alexis De Vos, Yvan Van Rentergem (University Gent, Belgium): Networks for reversible logic
Abstract
Presentation
Yu .A. Skobtsov (Donetsk University, Ukraine), V. Yu. Skobtsov, D .E .Ivanov (National Academy of Sciences, Ukraine): Evolutionary distributed test generation methods for digital circuits
Abstract
Presentation
Christian Posthoff (University of The West Indies, Trinidad & Tobago), Bernd Steinbach (Freiberg University, Germany): Sudoku Solutions Using Logic Equations
Abstract
Presentation
Liudmila Cheremisinova, Dmitry Novikov (National Academy of Sciences, Belarus): SAT-Based Approach to Verification of Logical Descriptions with Functional Indeterminacy
Abstract
Presentation
Vladimir Ostrovsky, Ilya Levin (Tel Aviv University, Israel), Osnat Keren (Bar Ilan University, Israel): Designing of QCA Schemes by Boundary Functions
Abstract
Presentation
Dmitry Cheremisinov, Liudmila Cheremisinova (National Academy of Sciences, Belarus): The Approach to Programming Agent-Based Systems
Abstract
Presentation
W.-M. Wendler (University of Applied Sciences Braunschweig/Wolfenbüttel, Germany): Geometry in Finite Fields: Conics and Spheres
Abstract
Petr Fiser, David Toman (University Prag, Czech): BoolTool: A Tool for Manipulation with Boolean Functions
Abstract
Presentation
Radomir S. Stankovic (Dept. of Computer Science, Nis, Serbia), Jaakko Astola (Tampere University of Technology, Finland), Bernd Steinbach (Freiberg University, Germany): Former and Recent Work in Classification of Switching Functions
Abstract
Presentation
Bernd Steinbach (Freiberg University, Germany), Alexis De Vos (University Gent, Belgium): The Shape of the SNF as a Source of Information
Abstract
Presentation
D. Michael Miller (University of Victoria, Canada), Mitchell A. Thornton (Southern Methodist University Dallas, USA): QMDD and Spectral Transformation of Binary and Multiple-Valued Functions
Abstract
Presentation
Kai Lampka (ETH Zuerich, Switzerland): Multi-rooted ZMTBDDs and the symbolic, quantitative verification of systems
Abstract
Presentation
Rudolf Berghammer (University Kiel, Germany): On the Use of Relation Algebra and the BDD-based Tool RelView in Formal Algorithm Development
Abstract
Presentation
Ilya Levin (Tel Aviv University, Israel), Osnat Keren (Bar Ilan University, Israel): Split Multi-terminal Binary Decision Diagrams
Abstract
Presentation
Anna Bernasconi (University of Pisa, Italy), Valentina Ciriani (University of Milano, Italy): A New Heuristic for DSOP Minimization
Abstract
Presentation
Arkadij Zakrevskij, Nikolaj Toropov (National Academy of Sciences, Belarus): Minimization of Boolean Functions of Many Variables – Iterative Algorithm
Abstract
Presentation
Petr Fiser, Jan Schmidt (University Prag, Czech): Small but Nasty Logic Synthesis Examples
Abstract
Presentation
W.-M. Wendler (University of Applied Sciences Braunschweig/Wolfenbüttel, Germany): Elements of differential and integral Calculus in Finite Fields
Abstract
Hermann Meuth (University of Applied Sciences Darmstadt, Germany), Katrin Tschirpke (University of Applied Sciences Aschaffenburg, Germany): Fully-parallel linear error block coding and decoding – a Boolean approach
Abstract
Presentation