Leram - Modeling, Simulation, and Optimization of Integrated Circuits: Proceedings of a Conference Held at the Mathematisches Forschungsinstitut, Oberwolfach,: 146