Please visit my
home page at ETH in Switzerland
Here is a
of a computation with my BED package.
some experiments with ABCD related to
average nodes visit length
Wean Hall, Room 3410, Office (412) 268 5628, Home (412) 683 0293
Armin Biere, Wed Jul 26 09:09:34 EDT 2000