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