3 search results - page 1 / 1 » Two Short Proofs Concerning Tree-Decompositions |
CPC
2002
13 years 5 months ago
2002
FOCS
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
IACR
2011
12 years 4 months ago
2011
Abstract. The prospect of outsourcing an increasing amount of data storage and management to cloud services raises many new privacy concerns for individuals and businesses alike. T...