• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The Helly property and satisfiability of Boolean formulas defined on set families.

Victor ChepoiNadia CreignouMiki HermannGernot Salzer
Published in: Eur. J. Comb. (2010)
Keyphrases
  • boolean formula
  • conjunctive normal form
  • linear constraints