6110 search results - page 48 / 1222 » Approximate Computing |
COMGEO
2006
ACM
15 years 2 months ago
2006
ACM
COMGEO
2004
ACM
15 years 2 months ago
2004
ACM
135
click to vote
CSR
2009
Springer
15 years 3 months ago
2009
Springer
We study the approximability of the maximum solution problem. This problem is an optimisation variant of the constraint satisfaction problem and it captures a wide range of interes...
108
click to vote
SAT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...