48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07)
Latest Publications

TOTAL DOCUMENTS

140

(FIVE YEARS 0)

H-INDEX

18

(FIVE YEARS 0)

Published By IEEE

0769530109, 9780769530109

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Derandomization of Sparse Cyclotomic Integer Zero Testing

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.15 ◽

2007 ◽

Author(s):

Qi Cheng

Download Full-text

On the Advantage over Random for Maximum Acyclic Subgraph

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.65 ◽

2007 ◽

Author(s):

Moses Charikar ◽

Konstantin Makarychev ◽

Yury Maka

Keyword(s):

Acyclic Subgraph

Download Full-text

Parameterized Proof Complexity

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.4389488 ◽

2007 ◽

Author(s):

Stefan Dantchev ◽

Barnaby Martin ◽

Stefan Szeider

Keyword(s):

Proof Complexity

Download Full-text

Planning for Fast Connectivity Updates

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.59 ◽

2007 ◽

Author(s):

Mihai Patrascu ◽

Mikkel Thorup

Download Full-text

Lower Bounds on Signatures From Symmetric Primitives

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.4389536 ◽

2007 ◽

Author(s):

Boaz Barak ◽

Mohammad Mahmoody-Ghidary

Keyword(s):

Download Full-text

Simulating Quantum Correlations with Finite Communication

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.31 ◽

2007 ◽

Author(s):

Oded Regev ◽

Ben Toner

Keyword(s):

Quantum Correlations

Download Full-text

Reviewers

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.5 ◽

2007 ◽

Download Full-text

Integrality gaps of 2 - o(1) for Vertex Cover SDPs in the Lovész-Schrijver Hierarchy

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.35 ◽

2007 ◽

Author(s):

Konstantinos Georgiou ◽

Avner Magen ◽

Toniann Pitassi ◽

Iannis Tourlakis

Keyword(s):

Vertex Cover ◽

Integrality Gaps

Download Full-text

Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.22 ◽

2007 ◽

Author(s):

Philipp Hertel ◽

Toniann Pitassi

Keyword(s):

Exponential Time ◽

Download Full-text

Adaptive Simulated Annealing: A Near-optimal Connection between Sampling and Counting

48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) ◽

10.1109/focs.2007.4389491 ◽

2007 ◽

Author(s):

Daniel Stefankovic ◽

Santosh Vempala ◽

Eric Vigoda

Keyword(s):

Simulated Annealing ◽

Adaptive Simulated Annealing

Download Full-text