Nagging: A distributed, adversarial search-pruning technique applied to first-order inference

DOI10.1023/A:1005885725562zbMath0884.68116OpenAlexW1492713136MaRDI QIDQ1373304

Alberto Maria Segre, David Sturgill

Publication date: 18 November 1997

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005885725562

zbMATH Keywords

naggingsearch-pruning technique

Mathematics Subject Classification ID

Related Items (2)

Nagging: A scalable fault-tolerant paradigm for distributed search ⋮ An optimal multiprocessor combinatorial auction solver

Uses Software

• SETHEO
• TPTP
• PARTHEO

This page was built for publication: Nagging: A distributed, adversarial search-pruning technique applied to first-order inference