Verification-Based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods

Mahadevan. "Verification-Based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods." International Joint Conference on Artificial Intelligence, 1985.

[Mahadevan. "Verification-Based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/mahadevan1985ijcai-verification/)

@inproceedings{mahadevan1985ijcai-verification,
  title     = {{Verification-Based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods}},
  author    = {Mahadevan, Sridhar},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {616-623},
  url       = {https://mlanthology.org/ijcai/1985/mahadevan1985ijcai-verification/}
}