### 5 papers:

- CAV-2015-ZhuPJ #named #proving #smt
- Poling: SMT Aided Linearizability Proofs (HZ, GP, SJ), pp. 3–19.
- DATE-2002-XuM #matrix
- Formulation of Low-Order Dominant Poles for Y-Matrix of Interconnects (QX, PM), pp. 820–825.
- DATE-1998-ShaoC #approximate #design #using
- MCM Interconnect Design Using Two-Pole Approximation (JS, RMMC), pp. 544–548.
- ICPR-1998-CaiL #algorithm
- A new thresholding algorithm based on all-pole model (JC, ZQL), pp. 34–36.
- DAC-1996-KernsY #analysis #congruence #multi #network #performance #reduction #scalability
- Stable and Efficient Reduction of Large, Multiport RC Networks by Pole Analysis via Congruence Transformations (KJK, ATY), pp. 280–285.