From: jan.de.kruyf@gmail.com
Subject: Re: BDD package in Ada.
Date: Wed, 8 Apr 2015 05:25:35 -0700 (PDT)
Date: 2015-04-08T05:25:35-07:00 [thread overview]
Message-ID: <22562651-ba2f-46e9-82e4-52a992eda7dd@googlegroups.com> (raw)
In-Reply-To: <c7db12c1-10fa-40ee-a2df-ff8a8b2177bc@googlegroups.com>
Hallo,
Here is a link to Knuth's musings on the subject:
http://www.cs.utsa.edu/~wagner/knuth/fasc1b.pdf
There is some youtube thing around as well.
Cheers,
j.
next prev parent reply other threads:[~2015-04-08 12:25 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-04-07 20:35 BDD package in Ada Vincent DIEMUNSCH
2015-04-08 6:38 ` Dmitry A. Kazakov
2015-04-08 7:44 ` Vincent DIEMUNSCH
2015-04-08 12:25 ` jan.de.kruyf [this message]
2015-04-08 18:39 ` vincent.diemunsch
2015-04-09 9:31 ` jan.de.kruyf
2015-04-09 16:51 ` jan.de.kruyf
2015-04-09 18:23 ` vincent.diemunsch
2015-04-08 21:30 ` Randy Brukardt
2015-04-08 23:40 ` Paul Rubin
2015-04-09 9:05 ` gautier_niouzes
2015-04-09 23:49 ` Randy Brukardt
2015-04-09 9:06 ` Georg Bauhaus
2015-04-09 9:29 ` Dmitry A. Kazakov
2015-04-10 0:05 ` Randy Brukardt
2015-04-08 21:20 ` Randy Brukardt
2015-04-08 18:27 ` Per Sandberg
2015-04-09 15:24 ` Paul Rubin
2015-04-09 20:02 ` vincent.diemunsch
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox