O. Strichmann. On solving Presburger and linear arithmetic with SAT. In Formal Methods in Computer-Aided Design (FMCAD '02), LNCS 2517, November 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Symbolic Approach to Predicate Abstraction - Shuvendu Lahiri Randal (2003) (4 citations) (Correct)
No context found.
O. Strichmann. On solving Presburger and linear arithmetic with SAT. In Formal Methods in Computer-Aided Design (FMCAD '02), LNCS 2517, November 2002.
A Symbolic Approach to Predicate Abstraction - Lahiri, Bryant, Cook (2003) (4 citations) (Correct)
No context found.
O. Strichmann. On solving Presburger and linear arithmetic with SAT. In Formal Methods in Computer-Aided Design (FMCAD '02), LNCS 2517, November 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC