5086 search results - page 236 / 1018 » The Power of Comparative Reasoning |
189
click to vote
ISVLSI
2008
IEEE
16 years 28 days ago
2008
IEEE
In high-performance VLSI circuits, the on-chip power densities are playing dominant role due to increased scaling of technology, increasing number of components, frequency and ban...
164
click to vote
IADIS
2004
15 years 8 months ago
2004
The study on the topological structure of the Internet is very important for the simulation and the protocol design of the Internet. In recent years, some researchers have made pr...
160
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...
173
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
186
click to vote
DATE
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...