KC𝄌DA

KCODA is an ANR JCJC project about knowledge compilation and its applications to databases.