16404 search results - page 280 / 3281 » A set coverage problem |
151
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
126
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. However, due to technological limitations, we ...
147
Voted
ECSQARU
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
124
click to vote
JCDCG
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we study the following problem: how to divide a cake among the children attending a birthday party such that all the children get the same amount of cake and the same...
123
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
In spite of the recent improvements in the performance of Answer Set Programming (ASP) solvers, when the search space is sufficiently large, it is still possible for the search al...