Z3str3型

此软件的关键字
数学参考文献, 1标准件 )
Abdulla,Parosh Aziz;Atig,Mohamed Faouzi;Diep,Bui Phi;Holík,Lukš;Janků,Petr:无链字符串约束(2019年) Amadini,Roberto;Andrlon,Mak;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019) Amadini,Roberto;Gange,Graeme;Stuckey,Peter J.:传播\textsclex、\textscfindand\textscReplacewithdash strings(2018年) Berzish,M.,Ganesh,V.,Zheng,Y.:Z3str3:具有理论意识分支的字符串解算器(2017) 阿尔十四