Publications

Restricted symbolic evaluation is fast and useful

• • J.Lawrence Carter
  • B.K. Rosen
  • et al.
• 1989
• ICCAD 1989