ML Anthology

Bridging the Gap Between Refinement and Heuristics in Abstraction

Christer Bäckström, Peter Jonsson
IJCAI 2013 pp. 2261-2267
/ijcai/2013/backstrom2013ijcai-bridging/
IJCAI Semantic Scholar

Cite

Text

Bäckström and Jonsson. "Bridging the Gap Between Refinement and Heuristics in Abstraction." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Bäckström and Jonsson. "Bridging the Gap Between Refinement and Heuristics in Abstraction." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/backstrom2013ijcai-bridging/)

BibTeX

@inproceedings{backstrom2013ijcai-bridging,
  title     = {{Bridging the Gap Between Refinement and Heuristics in Abstraction}},
  author    = {Bäckström, Christer and Jonsson, Peter},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {2261-2267},
  url       = {https://mlanthology.org/ijcai/2013/backstrom2013ijcai-bridging/}
}