@InProceedings{hoffmann:et:al:ijcai-07,
  crossref = "ijcai07",
  author = {J{\"o}rg Hoffmann and Henry Kautz and Carla Gomes and Bart Selman},
  title = {SAT
Encodings of State-Space Reachability Problems in Numeric Domains},
  pages = {1918-1923}
}



@Proceedings{ijcai07,
  Key = "IJCAI-07",
  title = 	"Proceedings of the 20th International Joint Conference on
                   Artificial Intelligence (IJCAI-07)",
  booktitle = 	"Proceedings of the 20th International Joint Conference on
                   Artificial Intelligence (IJCAI-07)",
  year = 	2007,
  editor = 	"M. Veloso",
  publisher =	 kauf,
  address = 	"Hyderabad, India",
  month = 	Jan
}