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.
Experimental Results on the Satisfiable Core in Random 3SAT [pdf]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
}
Downloads: 0