scientific article; zbMATH DE number 1301749

MaRDI QIDQ4246963zbMATH OpenFDO

Authors Maria Paola Bonacina

Publication date 16 June 1999

zbMATH Keywords

automated theorem provingbounded search spacesdistributed searchforward-reasoning strategiesparallel searchparallel theorem provingparallelization of contraction-based strategiessearch complexity

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

(5)

• On the modelling of search in theorem proving -- towards a theory of strategy analysis
• Nagging: A distributed, adversarial search-pruning technique applied to first-order inference
• A taxonomy of parallel strategies for deduction
• A model and a first analysis of distributed-search contraction-based strategies
• scientific article; zbMATH DE number 794244 (Why is no real title available?)

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)