David A. Wolfram

Learn More
Kimba is the rst model generation program which implements a semi-decision procedure for nite satissability of rst-order logics with nitely many truth values. The procedure enumerates the nite models of its input and can be used to compute eeciently domain minimal models whose positive part is minimal in size. Kimba has been implemented in the constraint(More)