Combining Parallel and Distributed Search in Automated Equational Deduction

13 years 9 months ago

Download www.carstensinz.de

We present an automated deduction system for equational reasoning combining two diﬀerent parallelization/distribution schemes: Strategy-compliant parallelization on the level of individual deduction steps (PaReDuX) and distributed cooperation of multiple agents with diﬀerent search strategies (Teamwork). In our experiments we mainly observed a multiplication of the speed-ups of each approach in our combined system.

Carsten Sinz, Jörg Denzinger, Jürgen Ave

Real-time Traffic

Automated Deduction | Distributed And Parallel Computing | Diﬀerent Parallelization/distribution Schemes | Individual Deduction Steps | PPAM 2001 |

claim paper

» The role of suspicion in modelbased intrusion detection

» High Performance ATP Systems by Combining Several AI Methods

» A scalable autotuning framework for compiler optimization

» Domain Decomposition Methods for PDE Constrained Optimization Problems

» Online automated performance diagnosis on thousands of processes

» GridMD Program Architecture for Distributed Molecular Simulation

» Transaction Logic with Defaults and Argumentation Theories

» Environmental scenario search and visualization

Post Info
More Details (n/a)

Added	30 Jul 2010
Updated	30 Jul 2010
Type	Conference
Year	2001
Where	PPAM
Authors	Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin

Comments (0)

Sciweavers

Combining Parallel and Distributed Search in Automated Equational Deduction

Automated Deduction | Distributed And Parallel Computing | Diﬀerent Parallelization/distribution Schemes | Individual Deduction Steps | PPAM 2001 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers