Efficient Term-ITE Conversion for Satisfiability Modulo Theories Conference Proceeding
Overview
publication date
- June 30, 2009
Date in CU Experts
- May 28, 2014 4:11 AM
Full Author List
- Kim H; Somenzi F; Jin H
Full Editor List
- Kullmann O
author count
- 3
citation count
- 6
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
Electronic International Standard Serial Number (EISSN)
- 1611-3349
International Standard Book Number (ISBN) 13
- 978-3-642-02776-5
Additional Document Info
start page
- 195
end page
- +
volume
- 5584