scientific article; zbMATH DE number 1301749

zbMATH Open0936.03013MaRDI QIDQ4246963FDOQ4246963

Authors: Maria Paola Bonacina 

Publication date: 16 June 1999

Title of this publication is not available (Why is that?)

Recommendations

• A model and a first analysis of distributed-search contraction-based strategies
• Distributed search by constrained agents. Algorithms, performance, communication.
• A Contraction Analysis of Primal-Dual Dynamics in Distributed and Time-Varying Implementations
• Distributed Constraint-Based Local Search
• Distributed Algorithms for Composite Optimization: Unified Framework and Convergence Analysis
• Distributed Abstract Optimization via Constraints Consensus: Theory and Applications
• Concurrent search for distributed CSPs
• Distributed gradient-based consensus optimization algorithm and convergence analysis
• Constrained distributed optimization: a population dynamics approach

zbMATH Keywords

automated theorem provingparallel searchdistributed searchsearch complexitybounded search spacesforward-reasoning strategiesparallel theorem provingparallelization of contraction-based strategies

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Title not available (Why is that?)
• A taxonomy of parallel strategies for deduction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246963)