@InProceedings{hoffmann:etal:icaps-06b,
  author = 	 {J{\"o}rg Hoffmann and Carla Gomes and Bart Selman},
  title = 	 {Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-based Planning},
  crossref =     {icaps06},
  pages = {284-293}
}


@Proceedings{icaps06,
  key = 	 "ICAPS-06",
  title = 	 "Proceedings of the 16th International Conference on 
                  Automated Planning and Scheduling (ICAPS-06)",
  booktitle = 	 "Proceedings of the 16th International Conference on 
                  Automated Planning and Scheduling (ICAPS-06)",
  year = 	 2006,
  editor = 	 "Derek Long and Stephen Smith",
  publisher = kauf,
  OPTorganization = "",
  address = 	 "Ambleside, UK",
  OPTmonth = 	 "",
}