1226 search results - page 156 / 246 » Proofs, Programs and Abstract Complexity |
141
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
98
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
ICCAD
2002
IEEE
16 years 6 days ago
2002
IEEE
Abstract—A robust, efficient, and accurate inductance extraction and simulation tool, INDUCTWISE, is developed and described in this paper. This work advances the state-of-the-ar...
125
Voted
LATA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Gene trees are leaf-labeled trees inferred from molecular sequences. Due to duplication events arising in genome evolution, gene trees usually have multiple copies of som...
147
click to vote
FOCS
2008
IEEE
15 years 9 months ago
2008
IEEE
The central problem in computational mechanism design is the tension between incentive compatibility and computational ef ciency. We establish the rst significant approximability ...