Symbolic Execution in Algorithm Design.

David M. Steier, Elaine Kant

Browse the full IJCAI paper archive.