M Wild - Journal on satisfiability, Boolean modeling and …, 2012 - content.iospress.com
While it was known that all models of a Horn formula can be generated in output-polynomial
time, here we present an explicit algorithm as opposed to the rather vague oracle-scheme …