Adaptive load sharing in homogeneous distributed systems
IEEE Transactions on Software Engineering
PSATO: a distributed propositional prover and its application to quasigroup problems
Journal of Symbolic Computation - Special issue on parallel symbolic computation
A comparison of receiver-initiated and sender-initiated adaptive load sharing (extended abstract)
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A machine program for theorem-proving
Communications of the ACM
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Sequential and parallel algorithms for the NCA problem on pure pointer machines
Theoretical Computer Science
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
A comparison of CLP(FD) and ASP solutions to NP-Complete problems
ICLP'05 Proceedings of the 21st international conference on Logic Programming
An investigation of sharing strategies for answer set solvers and SAT solvers
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
A 25-year perspective on logic programming
Hi-index | 0.01 |
The paper describes an experimental analysis of dynamic scheduling strategies for a novel logic programming paradigm---Answer Set Programming. The work identifies a collection of policies to classify variations of centralized and decentralized scheduling schemes, and develops adaptive solutions in the context of a decentralized dynamic scheduling. The resulting techniques have been integrated in a state-of-the-art parallel solver, with excellent performance results.