Proposal of data structures for Presburger arithmetic and its application to circuit verification

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1233-1236
Number of pages4
JournalInternational Symposium on Nonlinear Theory and Its Applications
Publication statusPublished - 1997

Cite this