 |
September 23-24, 2004, Freiberg (Sachsen) |
 |
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