Douglas R. Smith
Books
- On the computational complexity of branch and bound search strategies
- Derived preconditions and their use in program synthesis
- Logic-Based Program Synthesis
- Top-down synthesis of simple divide and conquer algorithms
- The structure of divide and conquer algorithms
- Representation of discrete optimization problems by discrete dynamic programs
Author data: Open Library