Nagging: A distributed, adversarial search-pruning technique applied to first-order inference
From MaRDI portal
Publication:1373304
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Nagging: A scalable fault-tolerant paradigm for distributed search ⋮ An optimal multiprocessor combinatorial auction solver
Uses Software
This page was built for publication: Nagging: A distributed, adversarial search-pruning technique applied to first-order inference
