Solving String Theories Involving Regular Membership Predicates Using SAT (Q6487302)

From MaRDI portal
scientific article; zbMATH DE number 7628095
Language Label Description Also known as
English
Solving String Theories Involving Regular Membership Predicates Using SAT
scientific article; zbMATH DE number 7628095

    Statements

    Identifiers