CVC4 solver [Google Scholar] Is a kind of: SMT solver Examples: Notes: Papers: barrett:cav:2011 Notes related to CVC4 solver SMT solver Papers related to CVC4 solver CVC4 [barrett:cav:2011]
