A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors

Article Details
Title:	A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
Article URLs:	https://doi.org/10.1007/978-3-319-08867-9_45
Alternative Article URLs:
Authors:	Liana Hadarean	New York University
	Kshitij Bansal	New York University
	Dejan Jovanovic	SRI International
	Clark W. Barrett	New York University
	Cesare Tinelli	University of Iowa
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://cvc4.cs.nyu.edu/papers/CAV2014-bitvectors/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	0644299, 1049495, 1228768
DBLP Key:	conf/cav/HadareanBJBT14
Author Comments:

Computer Aided Verification, CAV 2014