Sciweavers

10392 search results - page 166 / 2079
» Introduction to Computer Science
Sort
View
RTA
2010
Springer
15 years 9 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret
114
Voted
FOCS
2007
IEEE
15 years 9 months ago
Hardness Amplification for Errorless Heuristics
Andrej Bogdanov, Muli Safra