Douglas R. Smith
Identifiers
- Open LibraryOL7183656A
Top Subjects
- Automation (2)
- Algorithms (2)
- Computer programming (2)
- Combinatorial optimization (1)
- Mathematical optimization (1)
- Dynamic programming (1)
- Automatic theorem proving (1)
Books by Douglas R. Smith
Total count: 6
On the computational complexity of branch and bound search strategiesNaval Postgraduate School1979-01-01
Representation of discrete optimization problems by discrete dynamic programsNaval Postgraduate School1980-01-01
Derived preconditions and their use in program synthesisNaval Postgraduate School1982-01-01
Top-down synthesis of simple divide and conquer algorithmsNaval Postgraduate School1982-01-01
The structure of divide and conquer algorithmsNaval Postgraduate School1983-01-01-
Logic-Based Program SynthesisPapers from the AAAI Spring SymposiumAAAI Press2002-01-01