7890 search results - page 1 / 1578 » The MathSAT 3 System |
CADE
2005
Springer
14 years 5 months ago
2005
Springer
FROCOS
2011
Springer
12 years 4 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
TCAD
2010
12 years 11 months ago
2010
Three-dimensional integrated circuits (3D-ICs) are a promising approach to address the integration challenges faced by current systems on chips (SoCs). Designing an efficient netwo...
SI3D
1997
ACM
13 years 9 months ago
1997
ACM
ESTIMEDIA
2006
Springer
13 years 8 months ago
2006
Springer