Abstracts of the
6^{th} 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 nonlinear reversible logic gates are runiversal
P. Kerntopf (Warsaw University of Technology, Poland):
An Approach to Synthesis of MultipleValued 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 UMLModels
/ 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 MultipleValued Logic Functions
Y. Pottosin, E. Shestakov, D. Sadnikov (United Institute of Informatics Problems of NAS, Belarus):
Minimization of MultiValued 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 MCCDMA transmission
/ Slides
Invited Talk
Y. Novikov (ZIB, Germany),
R. Brinkmann (Infineon Technologies AG, Germany):
Foundations of Hierarchical SATSolving
/ 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):
TwoLevel Boolean Minimizer BOOMII
/ 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 arraybased 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 Semantictree 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
