SUNScholar will be offline for maintenance from 10:00 SAST on Wednesday the 21st of November 2018.
Compactly Generating All Satisfying Truth Assignments of a Horn Formula
Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: email@example.com
Journal Articles (NON-subsidised)