David B. Sturgill

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

Publications

Paul T. Edelman, Michael J. Donahoo, David B. Sturgill
Secure group communications for Delay-Tolerant Networks. ICITST (2010)
David B. Sturgill, Alberto Maria Segre
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. J. Autom. Reason. 19 (3) (1997)
Alberto Maria Segre, David B. Sturgill
Using Hundreds of Workstations to Solve First-Order Logic Problems. AAAI (1994)
David B. Sturgill, Alberto Maria Segre
A Novel Asynchronous Parallelism Scheme for First-Order Logic. CADE (1994)