 |
September 19-20, 2002, Freiberg (Sachsen) |
 |
Abstracts of the
5th International Workshop on Boolean Problems
Invited Talk
A. Mishchenko (Portland State University, USA),R. Brayton (University of California, Berkeley, USA):
A Theory of Non-Deterministic Networks
Session 1
G. Negovetic, M. Perkowski, M. Lukac (Portland State University, USA),A. Buller (Human Information Science Laboratories, Kyoto, Japan):
Evolving quantum circuits and an FPGA-based Quantum Computing Emulator
A. N. Al-Rabadi, L. W. Casperson, M. Perkowski, X. Song (Portland State University, USA):
Canonical Representations for Two-Valued Quantum Computing
M. Lukac, M. Pivtoraiko, A. Mishchenko, M. Perkowski (Portland State University, USA):
Automated Synthesis of Generalized Reversible Cascades using Genetic Algorithms
P. Kerntopf (Warsaw University of Technology, Poland):
On Universality of Binary Reversible Logic Gates
Session 2
R. S. Stankovic (Dept. of Computer Science, Nis, Yugoslavia),J. T. Astola (Tampere University of Technology, Finland):
Relationships between Logic Derivatives and Ternary Decision Diagrams
Ch. Posthoff (The University of The West Indies, Trinidad & Tobago),
B. Steinbach (Freiberg University of Mining and Technology, Germany):
Functions Implicitly Defined by Logic Equations - Unique Solutions
A. Zakrevskij, I. Vasilkova (Institute of Engineering Cybernetics of NAS, Belarus):
Reducing Search Trees to Accelerate Solving Large Systems of Boolean Equations
J. C. Bioch (Erasmus University Rotterdam, Netherlands):
Complexity of Boolean function decomposition
Session 3
P. Fiser, J. Hlavicka (Czech Technical University Prague, Czech):A Flexible Minimization and Partitioning Method
Ch. Dorotska, B. Steinbach (Freiberg University of Mining and Technology, Germany):
Orthogonal Block Change & Block Building Using Ordered Lists of Ternary Vectors
Y. Pottosin, E. Shestakov, V. Tomashev (Institute of Engineering Cybernetics of NAS, Belarus):
Generalized Shannon Expansion and Its Application for Multiplex Decomposition of Boolean Functions
H. Kubatova, M. Becvar (Czech Technical University Prague, Czech):
FEL–Code: FSM Internal State Encoding Method
L. Cheremisinova (Institute of Engineering Cybernetics of NAS, Belarus):
Minimization of sequent automata implementing concurrent control algorithms
Invited Talk
T.Sasao (Kyushu Institute of Technology, Iizuka, Japan):Design Methods for Multi-Rail Cascades
Session 4
V. Ciriani, A. Bernasconi (University of Pisa, Italy):2-SPP: a practical trade-off between SP and SPP synthesis
A. Gaidukov, (Irkutsk State University, Russian):
Algorithm to derive mimimum ESOP for 6-variable function
G. Fey, R. Drechsler (University of Bremen, Germany):
Minimizing the Number of Paths in BDDs
A. Jutman, J. Raik, R. Ubar (Tallinn Technical University, Estonia):
SSBDDs: Advantageous Model and Efficient Algorithms for Digital Circuit Modeling, Simulation & Test
Session 5
S. Guthridge, M. Perkowski (Portland State University, USA):Rectangular Davio Lattice Structures
S.Guthridge, M.Perkowski (Portland State University, USA):
Test Generation for Triangular Davio Lattice Structures
H. Rahaman (Indian Institute of Information Technology,Calcutta, India),
D. K. Das (Computer Sc. & Engg., Jadavpur University, Calcutta, India),
B. B. Bhattacharya (Indian Statistical Institute, Calcutta, India):
A Simple Delay-Testable Design of Digital Summation Threshold Logic (DSTL) Array
R. Drechsler (University of Bremen, Germany),
S. Höreth (Infineon Technologies AG, München, Germany):
Gatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment
D.Fröhlich (University of Applied Sciences Mittweida, Germany):
Use-Case Driven HW/SW-Partitioning of Dynamically Reconfigurable Systems
Session 6
Y. Novikov (Institute of Engineering Cybernetics of NAS, Belarus):Local search for Boolean relations on the basis of unit propagation
A. S. Baluck, S. F. Vinokurov (Irkutsk State University, Russian):
Classes of Operator Forms
M. Perkowski, A. Mishchenko (Portland State University, USA):
Logic Synthesis for Regular Layout using Satisfiability
B. Steinbach, R. Kohut (Freiberg University of Mining and Technology, Germany):
Neural Networks – A Model of Boolean Functions
W.-M. Wendler (FHS Braunschweig/Wolfenbüttel, Germany):
General Remarks on Lineal Binary System Theory
W.-M. Wendler (FHS Braunschweig/Wolfenbüttel, Germany):
Linear Binary Autonomous Systems
U. Wong, M. Perkowski (Portland State University, USA):
A New Approach to Robot’s Imitation of Behaviors by Decomposition of Multiple-Valued Relations