661 search results - page 1 / 133 » Argument Reduction by Factoring |
VLDB
1989
ACM
13 years 9 months ago
1989
ACM
ICDM
2009
IEEE
13 years 2 months ago
2009
IEEE
Efficient acquisition of constraint networks is a key factor for the applicability of constraint problem solving methods. Current techniques ease knowledge acquisition by generati...
ARITH
2003
IEEE
13 years 8 months ago
2003
IEEE
ARITH
1995
IEEE
13 years 8 months ago
1995
IEEE
COCO
2009
Springer
13 years 11 months ago
2009
Springer
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...