O. Strichman. On solving Presburger and linear arithmetic with SAT. In M.D. Aagaard and J.W. O'Leary, editors, Formal Methods in Computer-Aided Design (FMCAD), LNCS 2517, pages 160--170, 2002. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Two Solutions to Incorporate Zero, Successor and Equality in.. - Badban, Pol (Correct)
Two Solutions to Incorporate Zero, Successor and Equality in.. - Badban, Pol (2002) (Correct)
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