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 3 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 9 months ago
2003
IEEE
ARITH
1995
IEEE
13 years 9 months ago
1995
IEEE
COCO
2009
Springer
14 years 2 days 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...