×

Found 11 Documents (Results 1–11)

Crossing reduction by windows optimization. (English) Zbl 1037.68583

Goodrich, Michael T. (ed.) et al., Graph drawing. 10th international symposium, GD 2002, Irvine, CA, USA, August 26–28, 2002. Revised papers. Berlin: Springer (ISBN 3-540-00158-1/pbk). Lect. Notes Comput. Sci. 2528, 285-294 (2002).
MSC:  68R10 68U05 05C85
PDFBibTeX XMLCite
Full Text: Link

Too much knowledge hurts: Acceleration of genetic programs for learning heuristics. (English) Zbl 1043.68713

Reusch, Bernd (ed.), Computational intelligence. Theory and applications. International conference, 7th Fuzzy Days, Dortmund, Germany, October 1–3, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42732-5). Lect. Notes Comput. Sci. 2206, 479-491 (2001).
MSC:  68T20 68T05
PDFBibTeX XMLCite
Full Text: Link

Graph-based function representation. Boolean and pseudo-boolean functions. (Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen.) (German) Zbl 0914.06004

Leitfäden der Informatik. Stuttgart: B. G. Teubner. 200 S. (1998).
MSC:  06E30 05C20 06-01 94C10
PDFBibTeX XMLCite

Satisfiability problems for OFDDs. (English) Zbl 0849.68057

Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 233-248 (1996).
MSC:  68Q25 94C10
PDFBibTeX XMLCite

OKFDDs – algorithms, applications and extensions. (English) Zbl 0858.94036

Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 163-190 (1996).
Reviewer: U.Schöning (Ulm)
MSC:  94C10 68W35
PDFBibTeX XMLCite

On the relation between BDDs and FDDs (extended abstract). (English) Zbl 1495.68046

Baeza-Yates, Ricardo (ed.) et al., LATIN ’95: Theoretical informatics. 2nd Latin American symposium, Valparaíso, Chile, April 3–7, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 911, 72-83 (1995).
MSC:  68P05 68Q06 94C11
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field