Browsing by Title

SUNScholar Research Repository

Browsing by Title

Sort by: Order: Results:

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