Experimental Results on the Satisfiable Core in Random 3SAT. Zeng, H. and McIlraith, S. In Proceedings of the Ninth International Symposium on Artificial Intelligence and Mathematics (AIMath06), 2006.
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
}