Skip to content

Distances and Limits on Herbrand Interpretations.

Shan-Hwei Nienhuys-Cheng

VenueBILP
Year1998
ProceedingsILP

Browse the full ILP paper archive.