Experimental Results on the Satisfiable Core in Random 3SAT. Zeng, H. & 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   

Downloads: 0