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 3 publications that cite this research output on Dimensions.
Article in Computing (February 2024)
Conference proceeding in Proceedings of SPIE--the International Society for Optical Engineering (February 2017)
Article in Software Practice and Experience (June 2006)