An efficient SMT solver for string constraints (Q518402): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-016-0247-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2330747214
@@ Property / OpenAlex ID: W2330747214 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting on Demand in SAT Modulo Theories
@@ Property / cites work: Splitting on Demand in SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Path Feasibility Analysis for String-Manipulating Programs
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813388
@@ Property / cites work: Q4813388 / rank @@
+Normal rank
@@ Property / cites work @@
+An Evaluation of Automata Algorithms for String Analysis
+Normal rank
@@ Property / cites work @@
+Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of word equations with constants is in PSPACE
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Symbolic Finite Automata
@@ Property / cites work: Applications of Symbolic Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Automata Constraint Solving
@@ Property / cites work: Symbolic Automata Constraint Solving / rank @@
+Normal rank