Browsing by Issue Date

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 ...