Random Constraint Satisfaction: Theory Meets Practice. MacIntyre, E., Prosser, P., Smith, B. M., & Walsh, T. In Maher, M. J. & Puget, J., editors, CP, volume 1520, of Lecture Notes in Computer Science, pages 325-339, 1998. Springer.
Random Constraint Satisfaction: Theory Meets Practice. [link]Link  Random Constraint Satisfaction: Theory Meets Practice. [link]Paper  bibtex   
@inproceedings{conf/cp/MacIntyrePW98,
  added-at = {2011-06-17T00:00:00.000+0200},
  author = {MacIntyre, Ewan and Prosser, Patrick and Smith, Barbara M. and Walsh, Toby},
  biburl = {http://www.bibsonomy.org/bibtex/2028c1a901e4a3a92beda3d0c10b9c9b1/dblp},
  booktitle = {CP},
  crossref = {conf/cp/1998},
  editor = {Maher, Michael J. and Puget, Jean-Francois},
  ee = {http://dx.doi.org/10.1007/3-540-49481-2_24},
  interhash = {5ab2e7a67b0afa1ef53c376cf29bd560},
  intrahash = {028c1a901e4a3a92beda3d0c10b9c9b1},
  isbn = {3-540-65224-8},
  keywords = {dblp},
  pages = {325-339},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2011-06-18T11:39:43.000+0200},
  title = {Random Constraint Satisfaction: Theory Meets Practice.},
  url = {http://dblp.uni-trier.de/db/conf/cp/cp98.html#MacIntyrePW98},
  volume = 1520,
  year = 1998
}

Downloads: 0