Search Sciweavers | Sciweavers

4757 search results - page 25 / 952

» A Unique

110

Voted

APPROX
2005
Springer

105views Algorithms» more APPROX 2005»

The Complexity of Making Unique Choices: Approximating 1-in- k SAT

15 years 9 months ago

Download www.cs.berkeley.edu

We study the approximability of 1-in-kSAT, the variant of Max kSAT where a clause is deemed satisﬁed when precisely one of its literals is satisﬁed. We also investigate diﬀer...

Venkatesan Guruswami, Luca Trevisan

claim paper

Read More »

102

click to vote

WIA
2004
Springer

89views Artificial Intelligence» more WIA 2004»

Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids

15 years 8 months ago

Download wwwtcs.inf.tu-dresden.de

Andreas Maletti

claim paper

Read More »

103

click to vote

COCO
2003
Springer

98views Algorithms» more COCO 2003»

The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs

15 years 8 months ago

Download www.ti.inf.ethz.ch

Chris Calabro, Russell Impagliazzo, Valentine Kaba...

claim paper

Read More »

Voted

FOCS
2002
IEEE

95views Theoretical Computer Science» more FOCS 2002»

Explicit Unique-Neighbor Expanders

15 years 8 months ago

Download www.cs.tau.ac.il

Noga Alon, Michael R. Capalbo

claim paper

Read More »

click to vote

STOC
2010
ACM

149views Algorithms» more STOC 2010»

Graph Expansion and the Unique Games Conjecture

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers