Coinductive Logic Programming and its Application to Boolean SAT.

Richard Min, Gopal Gupta

Browse the full FlAIRS paper archive.