| Article ID: | iaor20051062 |
| Country: | Netherlands |
| Volume: | 32 |
| Issue: | 4 |
| Start Page Number: | 326 |
| End Page Number: | 330 |
| Publication Date: | Jul 2004 |
| Journal: | Operations Research Letters |
| Authors: | Nron E., Tercinet F., Lent C. |
| Keywords: | scheduling |
We investigate classical satisfiability tests for