ML Anthology

Symbolic Execution in Algorithm Design

David M. Steier, Elaine Kant
IJCAI 1985 pp. 225-231
/ijcai/1985/steier1985ijcai-symbolic/
PDF IJCAI Semantic Scholar

Cite

Text

Steier and Kant. "Symbolic Execution in Algorithm Design." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Steier and Kant. "Symbolic Execution in Algorithm Design." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/steier1985ijcai-symbolic/)

BibTeX

@inproceedings{steier1985ijcai-symbolic,
  title     = {{Symbolic Execution in Algorithm Design}},
  author    = {Steier, David M. and Kant, Elaine},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {225-231},
  url       = {https://mlanthology.org/ijcai/1985/steier1985ijcai-symbolic/}
}