Satisfiability of word equations with constants is in PSPACE-Reference-Cited by-同舟云学术

Satisfiability of word equations with constants is in PSPACE

Published:2004-05 Issue:3 Volume:51 Page:483-496
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Plandowski Wojciech¹

Affiliation:

1. Warsaw University, Warsaw, Poland

Abstract

We prove that satisfiability problem for word equations is in PSPACE.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/990308.990312

Reference18 articles.

1. Abdulrab H. 1987. Resolution d'equations sur le mots: Etude et implementation lisp de l'algorithme de Makanin. Ph.D. dissertation Universite de Rouen Rouen France. Abdulrab H. 1987. Resolution d'equations sur le mots: Etude et implementation lisp de l'algorithme de Makanin. Ph.D. dissertation Universite de Rouen Rouen France.

2. Solving word equations

3. Baader F. and Snyder W. 2001. Unification theory. In Handbook of Automated Reasoning Vol. 1 J. Robinson and A. Voronkov Eds. Elsevier Science Publishers 447--533. Baader F. and Snyder W. 2001. Unification theory. In Handbook of Automated Reasoning Vol. 1 J. Robinson and A. Voronkov Eds. Elsevier Science Publishers 447--533.

Cited by 85 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Slice closures of indexed languages and word equations with counting constraints;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. A Survey on String Constraint Solving;ACM Computing Surveys;2023-01-31

3. A Solver for Arrays with Concatenation;Journal of Automated Reasoning;2023-01-07

4. First Steps Towards Taming Description Logics with Strings;Logics in Artificial Intelligence;2023

5. Data Path Queries over Embedded Graph Databases;Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2022-06-12