Sciweavers

37 search results - page 8 / 8
» The Exact Closest String Problem as a Constraint Satisfactio...
Sort
View
SODA
2010
ACM
185views Algorithms» more  SODA 2010»
13 years 9 months ago
Solving MAX-r-SAT Above a Tight Lower Bound
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Sze...
TCC
2009
Springer
169views Cryptology» more  TCC 2009»
14 years 11 months ago
Goldreich's One-Way Function Candidate and Myopic Backtracking Algorithms
Abstract. Goldreich (ECCC 2000) proposed a candidate one-way function construction which is parameterized by the choice of a small predicate (over d = O(1) variables) and of a bipa...
James Cook, Omid Etesami, Rachel Miller, Luca Trev...