Boolean Problems

Freiberg University of Mining and Technology
TU Bergakademie Freiberg
4th International Workshop on Boolean Problems
September 21-22, 2000,
Freiberg (Sachsen)

Abstracts of the
4th International Workshop on Boolean Problems

Invited Talk

M. Fujita (The University of Tokyo, Japan):
Boolean problems that have real application in CAD for digital systems

Session 1

A. Mishchenko, C. Files, M. Perkowski (Portland State University, USA) B. Steinbach, Ch. Dorotska (Freiberg University of Mining and Technology, Germany):
Implicit Algorithms for Multi-Valued Input Support Minimization
A. Zakrevskij, I.Vasilkova (Institute of Engineering Cybernetics of NAS, Belarus):
Reducing Large Systems of Boolean Equations
A. Mohais, Ch. Posthoff (The University of The West Indies, Trinidad & Tobago):
SAT Problems – Recent Findings

Session 2 - short papers

W.-M. Wendler (Fachhochschule Braunschweig/Wolfenbüttel, Germany):
Elements of Linear Binary System Theory
R. S. Stankovic, M. Stankovic (University of Nis, Yugoslavia),
J. Astola, K. Egiazarian (Tampere University of Technology, Finland):
Boolean Representations for Functions in Fibonacci Interconnection Topologies
A. Mohais, Ch. Posthoff (The University of The West Indies, Trinidad & Tobago):
The Solution of Permutation-Dependent Problems by Evolutionary Algorithms
A. I. Gaidukov, S. F. Vinokurov (Irkutsk State University, Russian):
Operator Polynomial Expansions of Boolean Functions
J. Rice, J. C. Muzio (University of Victoria, Canada):
Two new methods for calculating autocorrelation coefficients
V. Tomashau (Institute of Engineering Cybernetics of NAS, Belarus):
On Small-Depth Circuits

Session 3

Y. Novikov (Belorussian Academy of Sciences, Belarus),
E. Goldberg (Cadence Berkeley Labs, USA):
An efficient learning procedure for multiple implication checks
P. Fiser, J. Hlavicka (Czech Technical University Prague, Czech):
Efficient Minimization Method for Incompletely Defined Boolean Functions
R. S. Stankovic, M. Stankovic (University of Nis, Yugoslavia),
J. Astola, K. Egiazarian (Tampere University of Technology, Finland):
Haar Spectral Transform Decision Diagrams with Exact Algorithm for Minimization of the Number of Paths

Invited Talk

D. Bochmann (Chemnitz, Germany):
Boolean Differences and Discrete Dynamics

Session 4

D. Bochmann (Chemnitz, Germany),
Ch. Posthoff (The University of The West Indies, Trinidad & Tobago),
V. Shmerko, S.Yanushkevich (Technical University of Szczecin, Poland),
R. Stankovic, Z. Tosic (University of Nis, Yugoslavia):
State-of-the-Art Logic Differential Calculus
B. Steinbach, Ch. Dorotska (Freiberg University of Mining and Technology, Germany):
Orthogonal Blockbuilding using ordered lists of Ternary vectors
Y. Pottosin, E. Shestakov (Institute of Engineering Cybernetics of NAS, Belarus):
Decomposition of Systems of Completely Specified Boolean Functions Using Their Compact Table Representation

Session 5

D. K. Das (Jadavpur University, India),
S. Chakrabarti (Kalyani Univesity, India),
B. B. Bhattacharya (Indian Statistical Institute, India):
Boolean Algebraic Properties of Faul Behavior in Logic Circuits
B. Steinbach (Freiberg University of Mining and Technology, Germany),
A. Zakrevskij (Institute of Engineering Cybernetics of NAS, Belarus):
Parallel Automaton: Basic Model, Properties and Diagnostics
W. Eisele (Gundelfingen, Germany):
Mirror Procedure for One-Shot-Coding of finite state machines

Session 6

A. Bernasconi, B. Codenotti (Consiglio Nationale delle Ricerche, Italy):
On Boolean Functions associated to Bipartite Cayley Graphs
T. Schubert, E. Mackensen, N. Drechsler, R. Drechsler, B. Becker
(University of Freiburg, Germany):
Specialized Hardware for Implementation of Evolutionary Algorithms
B. Steinbach, T. Dobrev (Freiberg University of Mining and Technology, Germany):
A Concurrent and Distributed Model for Complex Boolean Calculations


Contact
 
TU Bergakademie Freiberg
Institut für Informatik
Prof. Dr.-Ing. habil. B. Steinbach
Bernhard-von-Cotta Str. 1
09596 Freiberg
Germany
Phone: +49 37 31/39 - 25 68
Fax: +49 37 31/39 - 26 45
E-Mail: steinb@informatik.tu-freiberg.de

The workshop on Boolean problems has an emphasis on the problems related to the solution of all kinds of high-dimension Boolean and discrete problems, and provides a forum for researchers and engineers from different disciplines to exchange ideas. The workshop is devoted to theoretical discoveries as well as practical applications. An aim of the workshop is to initiate possible collaborative research and to find new areas of application.

Topics of Interest

    Decomposition
    Data Structures and Algorithms
    Boolean Differential Calculus
    EXOR-Representations
    Minimization
    Cryptography

General Chair

    Prof. Dr.-Ing. habil. B. Steinbach
    Technical University Freiberg
    Institute of Computer Science

Program Committee

    Prof. U. G. Baitinger, Stuttgart University
    Prof. B. Becker, Freiburg University
    Prof. Ch. Meinel, Trier University
    Prof. M. A. Perkowski, Portland State University
    Prof. T. Sasao, Kyushu Institute, Iizuka
    Prof. B. Steinbach, Technical University Freiberg
    Prof. A. Zakrevskij, Academy of Science of Belarus