16 search results - page 2 / 4 » amai 2005 |
AMAI
2005
Springer
13 years 4 months ago
2005
Springer
AMAI
2005
Springer
13 years 4 months ago
2005
Springer
AMAI
2005
Springer
13 years 4 months ago
2005
Springer
SAT Competition 2002 held in March
AMAI
2005
Springer
13 years 4 months ago
2005
Springer
This paper investigates Walley's concepts of epistemic irrelevance and epistemic independence for imprecise probability models. We study the mathematical properties of irrele...
AMAI
2005
Springer
13 years 4 months ago
2005
Springer
Binary-clause reasoning has been shown to reduce the size of the search space on many satisfiability problems, but has often been so expensive that run-time was higher than that o...