Z3str3型

Z3str3：一个具有理论启发的字符串求解器。Z3str3是字符串方程的无量词理论、正则表达式成员谓词和长度函数上的线性算法的约束求解器。Z3str3现在是Z3定理证明器的主要代码库的一部分，并且是Z3中主要的字符串解算器。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

数学参考文献，1标准件)

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. Abdulla，Parosh Aziz；Atig，Mohamed Faouzi；Diep，Bui Phi；Holík，Lukš；Janků，Petr:无链字符串约束（2019年）
  2. Amadini，Roberto；Andrlon，Mak；Gange，Graeme；Schachte，Peter；Søndergaard，Harald；Stuckey，Peter J.：JavaScript动态符号执行的约束编程（2019）
  3. Amadini，Roberto；Gange，Graeme；Stuckey，Peter J.：传播\textsclex、\textscfindand\textscReplacewithdash strings（2018年）
  4. Berzish，M.，Ganesh，V.，Zheng，Y.：Z3str3：具有理论意识分支的字符串解算器（2017）阿尔十四