Richard Min, Gopal Gupta. Coinductive Logic Programming and its Application to Boolean SAT. In H. Chad Lane, Hans W. Guesgen, editors, Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, May 19-21, 2009, Sanibel Island, Florida, USA. AAAI Press, 2009.
Abstract is missing.