David B. Sturgill (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3 David B. Sturgill, Alberto Maria Segre: Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. J. Autom. Reasoning 19(3): 347-376 (1997)

2 Alberto Maria Segre, David B. Sturgill: Using Hundreds of Workstations to Solve First-Order Logic Problems. AAAI 1994: 187-192

1 David B. Sturgill, Alberto Maria Segre: A Novel Asynchronous Parallelism Scheme for First-Order Logic. CADE 1994: 484-498

Selection of 3 from 3 records - David B. Sturgill has 1 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		David B. Sturgill, Alberto Maria Segre: Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. J. Autom. Reasoning 19(3): 347-376 (1997)
2		Alberto Maria Segre, David B. Sturgill: Using Hundreds of Workstations to Solve First-Order Logic Problems. AAAI 1994: 187-192
1		David B. Sturgill, Alberto Maria Segre: A Novel Asynchronous Parallelism Scheme for First-Order Logic. CADE 1994: 484-498