@inproceedings{Creager_and_Simpson_2007,
  title = "Empirical analysis and optimization of an {NP}-hard problem using {CSP} and {FDR}",
  author = "Creager, D.~A. and Simpson, A.~C.",
  year = "2007",
  booktitle = "Proceedings of the 2007 Brazilian Symposium on Formal Methods (SBMF 2007)",
}