Return to search

Adaptive eager boolean encoding for arithmetic reasoning in verification /

Thesis (Ph. D.)--Carnegie Mellon University, 2005. / "May 2005." Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/61146090
Date January 1900
CreatorsSeshia, Sanjit A.
PublisherPittsburgh, Pa. : School of Computer Science, Carnegie Mellon University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds