731 search results - page 46 / 147 » Reductions to Graph Isomorphism |
115
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Double patterning technology (DPT) has emerged as the most hopeful candidate for the next technology node of the ITRS roadmap [1]. The goal of a DPT decomposer is to decompose the...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
131
click to vote
STACS
2001
Springer
15 years 5 months ago
2001
Springer
We prove new results on evasiveness of monotone graph properties by extending the techniques of Kahn, Saks, and Sturtevant [Combinatorica, 4 (1984), pp. 297–306]. For the propert...
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisa...
AML
2005
15 years 1 months ago
2005
A strong reducibility relation between partial numberings is introduced which is such that the reduction function transfers exactly the numbers which are indices under the numberin...