Solving the SAT problem with the string multiset rewriting calculus
Article in Computing (February 2024)
The most recent citing publications are shown below. View all 16 publications that cite this research output on Dimensions.
Article in Computing (February 2024)
Monograph (August 2023)
Article in Theoretical Computer Science (September 2021)