next up previous
Next: Bibliography Up: Generalizing Boolean Satisfiability I: Previous: Conclusion


We would like to thank the members of CIRL, the technical staff of On Time Systems, and Eugene Luks and David Hofer from the CIS department at the University of Oregon for their assistance with the ideas in this series of papers. We would also like to thank the anonymous reviewers for their comments and suggestions, which we found extremely valuable.

This work was sponsored in part by grants from Air Force Office of Scientific Research (AFOSR) number F49620-92-J-0384, the Air Force Research Laboratory (AFRL) number F30602-97-0294, Small Business Technology Transfer Research, Advanced Technology Institute (STTR-ATI) number 20000766, Office of Naval Research (ONR) number N00014-00-C-0233, and the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory, Rome, NY, under agreements numbered F30602-95-1-0023, F30602-97-1-0294, F30602-98-2-0181, F30602-00-2-0534, and F33615-02-C-4032. The views expressed are those of the authors.

Matt Ginsberg 2004-02-19