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