4586 search results - page 3 / 918 » Computing stable models in parallel |
118
Voted
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
147
click to vote
LPNMR
1997
Springer
15 years 6 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
127
Voted
HIPC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper, we propose a new approach, parallel iterative improvement (PII), to solving the stable matching problem. This approach treats the stable matching problem a...
108
Voted
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
—Statistical analysis is widely used for countless scientific applications in order to analyze and infer meaning from data. A key challenge of any statistical analysis package a...