Now showing items 1-1 of 1

  • Compactly generating all satisfying truth assignments of a horn formula 

    Wild, Marcel (Delft University in cooperation with IOS Press, 2012-01)
    ENGLISH ABSTRACT: While it was known that all models of a Horn formula can be generated in outputpolynomial time, here we present an explicit algorithm as opposed to the rather vague oracle-scheme suggested in the proof ...