These introduce (1) the use of symbolic representations in solving logical linear programs, and (2) an extension of weighted model counting for open universes (that is, unbounded domains).
These introduce (1) the use of symbolic representations in solving logical linear programs, and (2) an extension of weighted model counting for open universes (that is, unbounded domains).