Tight representation of logical constraints as cardinality rules

HIGHLIGHTS

  • who: John N. Hooker et al. from the Graduate SchoolMellon University, Pittsburgh, PA , USA have published the Article: Tight representation of logical constraints as cardinality rules, in the Journal: (JOURNAL)
  • what: The authors focus on cardinality rules because the authors have observed t h a t logical constraints take this form in a large variety of applications. Since the convex hull representation is designed for elementary cardinality rules, the authors show how to convert any formula of cardinality logic to a conjunction of elementary cardinality rules (cardinality normal form) in linear time. The authors show . . .

     

    Logo ScioWire Beta black

    If you want to have access to all the content you need to log in!

    Thanks :)

    If you don't have an account, you can create one here.

     

Scroll to Top

Add A Knowledge Base Question !

+ = Verify Human or Spambot ?