Combinatorial Methods of Solving Boolean Problems
United
of
the
email:zakr@newman.bas-net.by
Fourier Representations of Switching Functions for
Circuit Design
Dept. of Computer Science
Faculty of Electronics
18000 Niš
Serbia
Jaakko Astola
Tampere University of Technology
FIN-33101 Tampere
Adjacency Graph of the SNF as Source of Information
Freiberg University of Mining and Technology
Institute of Computer Science
D-09596 Freiberg, Germany
email:steinb@informatik.tu-freiberg.de
Boolean Representation of Relationships
Between Elements of a Software Model
Christina Dorotska, Bernd Steinbach
Freiberg University of Mining and Technology, Institute of
Computer Science,
D-09596 Freiberg, Germany
e-mail: {dorotska,
steinb}@informatik.tu-freiberg.de
Abstract complex Numbers and Matrices
Fachhochschule Braunschweig/Wolfenbüttel
University of Applied Sciences
Fachbereich Fahrzeug-, Produktions- und
Verfahrenstechnik
Robert-Koch-Platz 10-14
38440 Wolfsburg
email: W-M.Wendler@FH-Wolfenbuettel.DE
A Multi-Processor Approach to SAT-Problems
Christian Posthoff
The
University of The
St. Augustine Campus
Trinidad & Tobago
email:cposthoff@fsa.uwi.tt
Freiberg University of Mining and Technology
Institute of Computer Science
D-09596 Freiberg, Germany
email:steinb@informatik.tu-freiberg.de
Reusing Learned Information in SAT-based ATPG
Görschwin Fey , Tim Warode, Rolf Drechsler
Institute
of Computer Science, University of Bremen, 28359
{fey,drechsle}@informatik.uni-bremen.de
XSLT based method for automatic generation of a
graphical representation of a decision diagram represented using XML
Stanislav Stankovi´c, Jaakko Astola
Tampere International Center for Signal Processing
Tampere
University of Technology,
email: stanislav.stankovic@tut.fi, jaakko.astola@tut.fi
Reduction of the Number of Paths in Binary Decision
Diagrams by Linear Transformation of Variables
Bar Ilan University, Israel
kereno@macs.biu.ac.il
Ilya Levin,
ilia1@post.tau.ac.il
Radomir S. Stankovic
rstankovic@bankerinter.net
Group theory for reversible logic
Alexis De Vos and Yvan Van Rentergem
Imec v.z.w., Vakgroep elektronika en
informatiesystemen
Universiteit Gent
Elements of Quantum Mechanics in Finite Fields
Fachhochschule Braunschweig/Wolfenbüttel
University of Applied Sciences
Fachbereich Fahrzeug-, Produktions- und
Verfahrenstechnik
Robert-Koch-Platz 10-14
38440 Wolfsburg
email: W-M.Wendler@FH-Wolfenbuettel.DE
Output Grouping Method Based on a Similarity of
Boolean Functions
Petr Fišer, Pavel Kubalík, Hana Kubátová
Department of Computer Science and Engineering
Karlovo nám. 13, 121 35 Prague 2
e-mail: fiserp@fel.cvut.cz,
xkubalik@fel.cvut.cz, kubatova@fel.cvut.cz
Interconnect Analysis of Spatial Decomposition of
Boolean Functions for Predictable Nanotechnologies
Svetlana N. Yanushkevich,
University of Calgary, Canada, syanshk@ucalgary.ca,
TU Bergakademie Freiberg, Germany,
steinb@informatik.tu-freiberg.de,
Vlad P. Shmerko
University of Calgary, Canada, vshmerko@ucalgary.ca
FPGA Implementation of Boolean Neural
Networks using UML
Roman Kohut, Bernd Steinbach,
Dominik Fröhlich
Freiberg University of Mining and Technology
Institute of Computer Science
D-09596
email:{kohut, steinb}@informatik.tu-freiberg.de
dfroehli@htwm.de
Concurrent Decomposition of Multiterminal BDDs
Ilya Levin1, Osnat Keren2,
Vladimir Ostrovsky1, George Kolotov1
1Tel Aviv University, Ramat Aviv, Tel Aviv 69978,
Israel, i.levin@computer.org
2Bar Ilan University, Ramat Gan, Ramat Gan 52900,
Israel, kereno@eng.biu.ac.il
Linearization of Functions Represented as a Set of
Disjoint Cubes at the Autocorrelation Domain
Bar Ilan University, Israel
kereno@macs.biu.ac.il
Ilya Levin,
ilia1@post.tau.ac.il
Radomir S. Stankovic
rstankovic@bankerinter.net
Decomposition of a Boolean Function Using the
Generalized Compact Table
Yuri Pottosin, Eugeny Shestakov
United
Institute of Informatics Problems of the NAS of
Surganov str., 220012 Minsk, Belarus;
e-mail: {pott,she}@newman.bas-net.by
The Attractor Structure of Rule 60 Cellular Automata
Czech
Technical University in
schmidt@fel.cvut.cz
Generalized Timed Alternating Finite Automata
Abdelaziz Fellah
Dept. of Computer Science
Sharjah, P.O. Box 27272, U.A.E.
e-mail: fellah@sharjah.ac.ae
