@inproceedings{dimopoulos,
  author = {Y. Dimopoulos},
  title = {Improved Integer Programming Models and Heuristic Search for AI Planning},
  booktitle = {ECP-01. Sixth European Conference on Planning, Toledo, Spain},
  year = {2001},
  pages = {313-324}
}