arithmetic bit-level informationarithmetic problemsbit-blastingcomputer algebraThis paper presents a new SMT solver, STABLE, for formulas of the quantifier-free... E Pavlenko,M Wedler,D Stoffel,... - Design, Automation & Test in Europe Conference & Exhibition 被引量: 56发表: 2011年 Method and...