scientific article; zbMATH DE number 1301749

MaRDI QIDQ4246963zbMATH OpenFDO

Authors Maria Paola Bonacina

Publication date 16 June 1999

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)

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

Cited in

(2)

• scientific article; zbMATH DE number 794244 (Why is no real title available?)
• 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)