101
click to vote
ENTCS
2008
15 years 3 months ago
2008
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...