A Theory of Clausal Discovery.

Luc De Raedt, Maurice Bruynooghe

Browse the full IJCAI paper archive.