15333 BINA''RE ENTSCHEIDUNGSGRAPHEN

..... 15291 Randal Bryant: Symbolic boolean manipulation with ordered
..... binary-decision diagrams. ACM Comp. Surveys 24/3 (1992), 293-318.

..... 15299 Karl Brace/Richard Rudell/Randal Bryant: Efficient
..... implementation of a BDD package.
..... 27th ACM/IEEE Design Automation Conf. 1990, 40-45.

..... 15330 Richard Rudell: Dynamic variable ordering for ordered binary
..... decision diagrams. Proc. ACM/IEEE Int. Conf. CAD (1993), 42-47.

..... 15290 Bernard Moret: Decision trees and diagrams.
..... Comp. Surv. ACM 14/4 (1982), 593-623.

..... 15316 Christoph Meinel/Thorsten Theobald: Ordered binary decision
..... diagrams and their significance in computer-aided design of
..... VLSI circuits - a survey.
..... Electronic Coll. Comp. Complexity Rep. 39 (1998), 17p.

..... 15303 Takashi Horiyama/Toshihide Ibaraki: Ordered binary decision
..... diagrams as knowledge bases. Art. Intell. 136 (2002), 189-213.

..... 15232 Ingo Wegener: BDDs - design, analysis, complexity, and applications.
..... Discrete Appl. Math. ... (ca. 2002), ...

..... 15319 Christian Matuszewski/Robby Scho''nfeld/Paul Molitor: Using
..... sifting for k-layer straightline crossing minimization.
..... Internet 1999, 10p.

..... 15320 Christoph Meinel/Fabio Somenzi/Thorsten Theobald: Function
..... decomposition and synthesis using linear sifting.
..... Internet ca. 1998, 6p.

..... 15331 Christoph Meinel/Fabio Somenzi/Thorsten Theobald: Linear sifting
..... of decision diagrams. Internet ca. 1997, 6p.

..... 15324 Jordan Gergov/Christoph Meinel: Analysis and manipulation of
..... boolean functions in terms of decision graphs.
..... Springer LN CS 657 (1993), 310-320.

..... 15296 Yuke Wang/Carl McCrosky/Xiaoyu Song: Single-faced boolean
..... functions and their minimization. Comp. J. 44/4 (2001), 280-291.

..... 15304 Martin Sauerhoff/Ingo Wegener/Ralph Werchner: Optimal ordered
..... binary decision diagrams for read-once formulas.
..... Discrete Appl. Math. 103 (2000), 237-258.

..... 15318 Patrick McGeer a.o.: Fast discrete function evaluation using
..... decision diagrams. Internet ca. 1996, 6p.

..... 15321 Jordan Gergov/Christoph Meinel: Boolean manipulation with free
..... BDDs. An application in combinational logic verification.
..... Proc. 13th IFIP World Computer Congress 1994, 309-314.

..... 15322 Jordan Gergov/Christoph Meinel: Mod-2 OBBDs - a generalization
..... of OBBDs and EXOR sum-of-products.
..... Proc. IFIP-Workshop 1993, TR WSI-93-2, 170-175.

..... 15323 Christoph Scholl/Stephan Melchior/Gu''nter Hotz/Paul Molitor:
..... Minimizing ROBBD sizes of incompletely specified boolean functions by
..... exploiting strong symmetries. Internet ca. 1997, 6p.

..... 15325 Christoph Meinel/Harald Sack: Algorithmic considerations for
..... sum-OBBD reordering.
..... Proc. 4th Int. Workshop Reed-Muller Exp. 1999, 179-184.

..... 15327 Christoph Meinel/Anna Slobodova: An adequate reducibility
..... concept for problems defined in terms of ordered binary decision
..... diagrams. ECCC TR 96-010 (1996), 20p.

..... 15329 Jochen Bern/Jordan Gergov/Christoph Meinel/Anna Slobodova:
..... Boolean manipulation with free BDDs - first experimental results.
..... Proc. Europ. Design Test Conf. 1994 (1994), 200-207.

..... 15328 Andreas Hett/Rolf Drechsler/Bernd Becker: MORE - an alternative
..... implementation of BDD packages by multi-operand synthesis.
..... EURODAC'96 (1996), 6p.