| 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