book chapterLecture notes in computer scienceJan 1, 2011Closed access

CVC4

CBClark BarrettCLChristopher L. ConwayMDMorgan DetersLHLiana HadareanDJDejan Jovanović

New York University · University of Iowa

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

622
total citations
FWCI
10.44
Percentile
100%
References
14
Citations per year

Authors

8

Topics & keywords

Topics
Keywords
  • Computer science
  • Architecture
  • Open architecture
  • Software engineering
  • Set (abstract data type)
  • Programming language
  • Software
No related works found for this paper.