An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers
暂无分享,去创建一个
[1] Wolfgang Küchlin,et al. PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications , 2001, Electron. Notes Discret. Math..
[2] Victor W. Marek,et al. Computing stable models in parallel , 2001, Answer Set Programming.
[3] Mats Carlsson,et al. Parallel execution of prolog programs: a survey , 2001, TOPL.
[4] Enrico Pontelli,et al. Construction and Optimization of a Parallel Engine for Answer Set Programming , 2001, PADL.
[5] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[6] Karen Villaverde,et al. A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms , 2003, Euro-Par.
[7] Laurent Perron. Search Procedures and Parallelism in Constraint Programming , 1999, CP.
[8] Maria Paola Bonacina,et al. PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems , 1996, J. Symb. Comput..
[9] Joxan Jaffar,et al. Principles and Practice of Constraint Programming – CP’99 , 1999, Lecture Notes in Computer Science.
[10] Vladimir Lifschitz,et al. Answer Set Planning (Abstract) , 1999, LPNMR.
[11] Victor W. Marek,et al. The Logic Programming Paradigm , 1999, Artificial Intelligence.
[12] Maria Paola Bonacina,et al. A taxonomy of parallel strategies for deduction , 2001, Annals of Mathematics and Artificial Intelligence.
[13] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[14] Erik Hagersten,et al. THROOM — Supporting POSIX Multithreaded Binaries on a Cluster , 2003 .