Z3str3 swMATH ID: 30519 Software Authors: Berzish, M., Ganesh, V., Zheng, Y. Description: Z3str3: a string solver with theory-aware heuristics. Z3str3 is a constraint solver for the quantifier-free theory of string equations, the regular-expression membership predicates, and linear arithmetic over the length functions. Z3str3 is now part of the Z3 theorem prover’s main codebase, and is the primary string solver in Z3. Homepage: https://sites.google.com/site/z3strsolver/ Source Code: https://github.com/z3prover/z3 Keywords: Logic in Computer Science; arXiv_cs.LO; string SMT solver; Z3str3; Theory-aware Branching Related Software: Norn; HAMPI; CVC4; Stranger; z3; S3; Z3str2; StringFuzz; SMT-LIB; Z3-str; Jalangi; GitHub; PASS; StrSolve; Gecode; MiniZinc; JavaScript; ExpoSE; WAPTEC; DART Cited in: 12 Publications Standard Articles 1 Publication describing the Software Year Z3str3: A String Solver with Theory-aware Branching Berzish, M., Ganesh, V., Zheng, Y. 2017 all top 5 Cited by 38 Authors 4 Day, Joel D. 4 Ganesh, Vijay 4 Manea, Florin 4 Nowotka, Dirk 3 Amadini, Roberto 3 Berzish, Murphy 3 Gange, Graeme 3 Kulczynski, Mitja 3 Mora, Federico 3 Stuckey, Peter James 1 Abdulla, Parosh Aziz 1 Andrlon, Mak 1 Atig, Mohamed Faouzi 1 Barrett, Clark W. 1 Bjørner, Nikolaj S. 1 Diep, Bui Phi 1 Dill, David L. 1 Garreta, Albert 1 Gray, Robert D. 1 Grieskamp, Wolfgang 1 He, Paul 1 Holík, Lukáš 1 Janků, Petr 1 Levatich, Maxwell 1 Lin, Anthony Widjaja 1 Lopes, Nuno P. 1 Majumdar, Rupak 1 Nötzli, Andres 1 Park, Junkil 1 Qadeer, Shaz 1 Reynolds, Andrew 1 Rybalchenko, Andrey 1 Schachte, Peter 1 Sheng, Ying 1 Søndergaard, Harald 1 Tinelli, Cesare 1 Vuppalapati, Chandrasekar 1 Zohar, Yoni Cited in 4 Serials 1 Artificial Intelligence 1 Theoretical Computer Science 1 Information and Computation 1 Logical Methods in Computer Science Cited in 3 Fields 12 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year