Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification

Article Details
Title:	Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification
Article URLs:	https://doi.org/10.1007/978-3-319-63390-9_24
Alternative Article URLs:
Authors:	Andrew Reynolds	University of Iowa, Department of Computer Science
	Maverick Woo	Carnegie Mellon University, CyLab
	Clark W. Barrett	Stanford University, Department of Computer Science
	David Brumley	Carnegie Mellon University, CyLab
	Tianyi Liang	Stanford University, Department of Computer Science
	Cesare Tinelli	University of Iowa, Department of Computer Science
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://cvc4.cs.stanford.edu/papers/CAV2017-strings/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1228765, 1228768, 1228827
DBLP Key:	conf/cav/ReynoldsWBBLT17
Author Comments:

Computer Aided Verification, CAV 2017