Experiences Running a Parallel Answer Set Solver on Blue Gene
暂无分享,去创建一个
Bettina Schnor | Martin Gebser | Torsten Schaub | Benjamin Kaufmann | Lars Schneidenbach | Roland Kaminski
[1] Nachum Dershowitz,et al. Parallel Multithreaded Satisfiability Solver: Design and Implementation , 2005, PDMC.
[2] Martin Gebser,et al. The nomore++ Approach to Answer Set Solving , 2005, LPAR.
[3] Robert E. Mercer,et al. On Probing and Multi-Threading in Platypus , 2006, ECAI.
[4] David G. Mitchell,et al. A SAT Solver Primer , 2005, Bull. EATCS.
[5] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[6] Maria Paola Bonacina,et al. PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems , 1996, J. Symb. Comput..
[7] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[8] Martin Gebser,et al. Conflict-Driven Answer Set Enumeration , 2007, LPNMR.
[9] Frank Wolter,et al. Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.
[10] Enrico Pontelli,et al. Non-monotonic Reasoning on Beowulf Platforms , 2003, PADL.
[11] Enrico Pontelli,et al. Issues in parallel execution of non-monotonic reasoning systems , 2005, Parallel Comput..
[12] Wolfgang Küchlin,et al. Parallel propositional satisfiability checking with distributed dynamic learning , 2003, Parallel Comput..
[13] Bernd Becker,et al. PaMira - A Parallel SAT Solver with Knowledge Sharing , 2005, 2005 Sixth International Workshop on Microprocessor Test and Verification.
[14] Bernd Becker,et al. Multithreaded SAT Solving , 2007, 2007 Asia and South Pacific Design Automation Conference.
[15] Tomi Janhunen,et al. Some (in)translatability results for normal logic programs and propositional theories , 2006, J. Appl. Non Class. Logics.
[16] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.
[17] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[18] Alex M. Andrew,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .