Article ID: | iaor20091367 |
Country: | Netherlands |
Volume: | 36 |
Issue: | 2 |
Start Page Number: | 229 |
End Page Number: | 233 |
Publication Date: | Mar 2008 |
Journal: | Operations Research Letters |
Authors: | Hochbaum Dorit S., Moreno-Centeno Erick |
Keywords: | satisfiability |
We define a generalization of the satisfiability problem (SAT) where each ‘clause’ is an