Paper  bibtex   

@InProceedings{zen-mci-aimath06,
  url = {zen-mci-aimath06.pdf},
        author = {Zeng, H. and McIlraith, S.},
        title = {Experimental Results on the Satisfiable Core in Random 3SAT},
        booktitle = {Proceedings of the Ninth International Symposium on 
		Artificial Intelligence and Mathematics (AIMath06)},
        year = 2006
}