Acknowledgments
From CVC4
CVC4 is supported in part by the following organizations:
- The Air Force Office of Scientific Research
- [1] The Defense Advanced Research Projects Agency]
- Intel Corporation
- The National Science Foundation
- New York University
- The Semiconductor Research Corporation (contract 2008-TJ-1850)
Any opinions, findings and conclusions or recommendations expressed in this site are those of the authors and do not necessarily reflect the views of the organizations listed above.
