C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The Helly property and satisfiability of Boolean formulas defined on set families.
Victor Chepoi
Nadia Creignou
Miki Hermann
Gernot Salzer
Published in:
Eur. J. Comb. (2010)
Keyphrases
</>
boolean formula
conjunctive normal form
linear constraints