Sciweavers

AMAI
2005
Springer
13 years 11 months ago
Robust inference of trees
Abstract. This paper is concerned with the reliable inference of optimal treeapproximations to the dependency structure of an unknown distribution generating data. The traditional ...
Marco Zaffalon, Marcus Hutter
AMAI
2005
Springer
13 years 11 months ago
Semantics for a theory of defeasible reasoning
Quoc Bao Vo, Norman Y. Foo, Joe Thurbon
AMAI
2005
Springer
13 years 11 months ago
Generalizations of matched CNF formulas
A CNF formula is called matched if its associated bipartite graph (whose vertices are clauses and variables) has a matching that covers all clauses. Matched CNF formulas are satisf...
Stefan Szeider
AMAI
2005
Springer
13 years 11 months ago
The SAT2002 competition
SAT Competition 2002 held in March
Laurent Simon, Daniel Le Berre, Edward A. Hirsch
AMAI
2005
Springer
13 years 11 months ago
A SAT approach to query optimization in mediator systems
Mediator systems integrate distributed, heterogeneous and autonomous data sources, but their e ective use requires the solution of hard query optimization problems. This is usuall...
Steven David Prestwich, Stéphane Bressan
AMAI
2005
Springer
13 years 11 months ago
Auction design with costly preference elicitation
We consider auction design in a setting with costly preference elicitation. Well designed auctions can help to avoid unnecessary elicitation while determining efficient allocations...
David C. Parkes
AMAI
2005
Springer
13 years 11 months ago
Resolution cannot polynomially simulate compressed-BFS
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...
DoRon B. Motter, Jarrod A. Roy, Igor L. Markov
AMAI
2005
Springer
13 years 11 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