A Circuit-Based Approach to Efficient Enumeration

    ICALP, 2017.

    Cited by: 31|Bibtex|Views2|Links
    EI

    Abstract:

    We study the problem of enumerating the satisfying valuations of a circuit while bounding the delay, i.e., the time needed to compute each successive valuation. We focus on the class of structured d-DNNF circuits originally introduced in knowledge compilation, a sub-area of artificial intelligence. We propose an algorithm for these circui...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments