CHILLIN

Submitted by on Jun 18 2014 } Suggest Revision
From: UT Austin
Paper:
Resource Type:
Code
License:
Other/Unknown
Language:
Data Format:

Description

CHILLIN is an ILP system which integrates top-down search, bottom-up search, and predicate invention.
Post comment
Cancel