Sciweavers

ENTCS
2008
64views more  ENTCS 2008»
13 years 11 months ago
Model-based Theory Combination
Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
ASPDAC
2007
ACM
124views Hardware» more  ASPDAC 2007»
14 years 3 months ago
BddCut: Towards Scalable Symbolic Cut Enumeration
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown