Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference
Journal of Automated Reasoning
Nagging: a scalable fault-tolerant paradigm for distributed search
Artificial Intelligence
A Distributed Learning Algorithm for Bayesian Inference Networks
IEEE Transactions on Knowledge and Data Engineering
Partial instantiation theorem proving for distributed resource location
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An optimal multiprocessor combinatorial auction solver
Computers and Operations Research
Hi-index | 0.01 |