Please visit my home page at ETH in Switzerland .

• Here is a visualization of a computation with my BED package.
• ABCD
• some experiments with ABCD related to memory, average nodes visit length, and double hashing.
• Recent publications
• Curriculum Vitae (Lebenslauf)

---

Wean Hall, Room 3410, Office (412) 268 5628, Home (412) 683 0293
Armin Biere, Wed Jul 26 09:09:34 EDT 2000