Boolean Problems

Freiberg University of Mining and Technology

6th International Workshop on Boolean Problems
September 23-24, 2004,
Freiberg (Sachsen)

TU Bergakademie Freiberg

Abstracts of the
6th International Workshop on Boolean Problems

Invited Talk

M. Perkowski (Portland State University, USA):
From Quantum Gates to Quantum Learning: recent research and open problems in quantum

Session 1

T. Araki (Hiroshima Institute of Technology, Japan):
A Simple Model for Estimating Quantum Communication Channels

A. De Vos, L. Storme (University Gent, Belgium):
All non-linear reversible logic gates are r-universal

P. Kerntopf (Warsaw University of Technology, Poland):
An Approach to Synthesis of Multiple-Valued Reversible Logic Circuits   /  Slides

J. R. Dick, G. W. Dueck (University of New Brunswick, Canada), D. Maslov (University of Victoria, Canada):
Toffoli Templates with 8 Gates   /  Slides

Session 2

T. Beierlein, D. Fröhlich (University of Applied Sciences Mittweida, Germany),
B. Steinbach (University of Freiberg, Germany):

Hardware Synthesis of UML-Models   /  Slides

E. Fomina, A. Sudnitson, R. Vasilyev (Tallinn University of Technology, Estonia):
FSM's Network Encoding Guided by Information Relationship Measure   /  Slides

A. Fellah (University of Lethbridge, Canada):
On Deterministic Timed Alternating Finite Automata

J. Shi, G. Fey, R. Drechsler (University of Bremen, Germany):
Experimental Studies on Test Pattern Generation for BDD Circuits   /  Slides

H. Richter, Ch. Siemers (Clausthal University of Technology, Germany):
Efficient Reprogrammable Architecture for Boolean Functions and Cellular Automata   /  Slides

Session 3

R. S. Stankovic (Dept. of Computer Science, Nis, Serbia),
J. Astola, K. Egiazarian (Tampere University of Technology, Finland):

Remarks on Symmetric Binary and Multiple-Valued Logic Functions

Y. Pottosin, E. Shestakov, D. Sadnikov (United Institute of Informatics Problems of NAS, Belarus):
Minimization of Multi-Valued Functions in Decomposition of a System of Completely Specified Boolean Functions   /  Slides

E. Pogossova, K. Egiazarian, J. Astola (Tampere University of Technology, Finland):
Relation between Boolean functions and spreading sequences for MC-CDMA transmission   /  Slides

Invited Talk

Y. Novikov (ZIB, Germany),
R. Brinkmann (Infineon Technologies AG, Germany):

Foundations of Hierarchical SAT-Solving   /  Slides

Session 4

W.-M. Wendler (University of Applied Sciences Braunschweig/Wolfenbüttel, Germany):
Jordan Normal Form of Boolean Matrices

W.-M. Wendler (University of Applied Sciences Braunschweig/Wolfenbüttel, Germany):
Binary Maxwellian Equations

A. Zakrevskij (United Institute of Informatics Problems of NAS, Belarus):
Solving Inconsistent Systems of Linear Logical Equations   /  Slides

R. Kohut, B.Steinbach (University of Freiberg, Germany):
Decomposition of Boolean Function Sets for Boolean Neural Networks   /  Slides

Session 5

G. R. Pogosyan (International Christian University, Japan),
I. G. Rosenberg (University of Montreal, Canada),
S. Takada (University of Tokyo, Japan):

Building Minimum ESOPs Through Redundancy Elimination

D. Voudouris, G. Papakonstantinou (National Technical University of Athens, Greece):
Maitra Cascade Minimization   /  Slides

P. Fiser, H. Kubatova (Czech Technical University Prague, Czech):
Two-Level Boolean Minimizer BOOM-II   /  Slides

S. Verma, K. Permar (Government Engineering College, India):
A Novel Method for Minimization of Boolean Functions using Gray Code and development of a Parallel Algorithm   /  Slides

Session 6

A. Matrosova, S. Ostanin, V. Andreeva (Tomsk State University, Russia):
Easy testable combinational circuit design

L. Cheremisinova (United Institute of Informatics Problems of NAS, Belarus):
Simple folding of array-based VLSI structures   /  Slides

Ch. Dorotska (University of Freiberg, Germany):
Generation of test case templates using the Boolean representation of software model   /  Slides

Session 7

M. GhasemZadeh, V. Klotz, Ch. Meinel (University of Trier, Germany):
Strengthening Semantic-tree Method in evaluating QBFs

M. Stankovic (University of Nis, Serbia),
J. Astola, K. Egiazarian (Tampere University of Technology, Finland):

Variable Ordering in SBDD Considering Function in Spectral Domain

A. Jutman, A. Peder, J. Raik, M. Tombak, R. Ubar (Tallinn University of Technology and University of Tartu, Estonia):
Structurally synthesized binary decision diagrams   /  Slides