A MINSAT Approach for Learning in Logic Domains,” (2002)

by G Felici, K Truemper
Venue:INFORMS Journal on Computing,