DMCA

A Minsat approach for learning in logic domains (2002)

Cached

Download Links

by Giovanni Felici , Klaus Truemper
Venue:INFORMS Journal on computing
Citations:22 - 16 self