Sciweavers

16 search results - page 2 / 4
» amai 2005
Sort
View
89
Voted
AMAI
2005
Springer
15 years 3 months ago
Semantics for a theory of defeasible reasoning
Quoc Bao Vo, Norman Y. Foo, Joe Thurbon
88
Voted
AMAI
2005
Springer
15 years 3 months ago
On SAT instance classes and a method for reliable performance experiments with SAT solvers
Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann
106
Voted
AMAI
2005
Springer
15 years 3 months ago
The SAT2002 competition
SAT Competition 2002 held in March
Laurent Simon, Daniel Le Berre, Edward A. Hirsch
110
Voted
AMAI
2005
Springer
15 years 3 months ago
Graphoid properties of epistemic irrelevance and independence
This paper investigates Walley's concepts of epistemic irrelevance and epistemic independence for imprecise probability models. We study the mathematical properties of irrele...
Fabio Gagliardi Cozman, Peter Walley
135
Voted
AMAI
2005
Springer
15 years 3 months ago
Toward leaner binary-clause reasoning in a satisfiability solver
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...
Allen Van Gelder