Login / Signup
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