Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

Article Details
Title:	Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints
Article URLs:	https://doi.org/10.1007/978-3-319-21690-4_14
Alternative Article URLs:
Authors:	Yunhui Zheng	IBM T.J. Watson Research Center, Yorktown Heights
	Vijay Ganesh	University of Waterloo
	Sanu Subramanian	University of Waterloo
	Omer Tripp	IBM T.J. Watson Research Center, Yorktown Heights
	Julian Dolby	IBM T.J. Watson Research Center, Yorktown Heights
	Xiangyu Zhang	Purdue University
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:	https://sites.google.com/site/z3strsolver/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/ZhengGSTDZ15
Author Comments:

Computer Aided Verification, CAV 2015