A simplifier based on efficient decision algorithms

Publisher Website

1 January 1978

proceedings article
Published by Association for Computing Machinery (ACM)

p. 141-150
https://doi.org/10.1145/512760.512775

Abstract

No abstract available

Cited by 18 articles