• R. Malvi, M. Perkowski (Portland State University)
  L. Jozwiak (Eindhoven University of Technology)
  Exact Graph Coloring for Functional Decomposition: Do We Need It?
• B. Steinbach (Technical University Freiberg)
  A. Zakrevskij (Academy of Science, Minsk)
  Three Models and Some Theorems on Decomposition of Boolean Functions
• M. Burns Perkowski, S. Grygiel (Portland State University)
  L. Jozwiak (Technical University of Eindhoven)
  An Efficient and Effective Approach to Column-Based Input/Output Encoding in Functional Decomposition

Session 2

• K. Hesse (Technical University Chemnitz)
  On the Numeric Complexity of Some Basic Algorithms for Ternary Vectors
• G. Kempe, C. Lang (Technical University Freiberg)
  Efficient Representation of Boolean Functions by Three- and Four-Function Decomposition
• J. Silva (Cadence European Laboratories)
  Improving Satisfiability Algorithms by Using Recursive Learning

Session 3

• C. Lang, B. Steinbach (Technical University Freiberg)
  A General Data Structure for EXOR-Decomposition of Sets of Switching Functions
• A. Zakrevskij, N. Toropov (Academy of Science of Belarus)
  Optimizing FPRM Representations of Boolean Functions and Systems - Fast Algorithm Based on Two Vector Operations

Session 4

• W. Günther, R. Drechsler (Freiburg University)
  BDD Minimization by Linear Transformations
• V. Manquinho, A. Oliveira, J. Silva (Cadence European Laboratories)
  Models and Algorithms for Computing Minimum-Size Prime Implicants
• P. Bibilo (Academy of Science of Belarus)
  Synthesis of Three-Level Programmable Matrix Structures

Session 5

• G. Dueck (St. Francis Xavier University)
  G. Holowinski, K. Malecki, V. Shmerko, S. Yanushkevich (Technical University Szczecin)
  Development of Zakrevskij's Minimization Strategy towards Arithmetical Polynomial Domain
• M. Baumann, R. Rohde, R. Barthel (Chemnitz University of Technology)
  Cryptanalysis of the Hagelin M-209 Machine
• A. Bernasconi (Technical University München)
  On Boolean Functions Satisfying Odd Order Propagation Criteria

Papers

• M. Perkowski, C. Files(Portland State University)
  L. Jozwiak (Eindhoven University of Technology)
  Minimization of Sum of Continuous-Input And/Or Implicant Expressions for Data Mining Applications
• V. Nguyen Thuy (Hanoi University of Technology)
  B. Steinbach (Freiberg University of Mining and Technology)
  KTS - a Software Tool for Education in the Subject LOGIC DESIGN in Vietnam