Constraint reasoning over strings

DOI10.1007/B13743MaRDI QIDQ5897209zbMATH OpenOpenAlexFDO

Authors Keith Golden, W. Pang

Publication date 2 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b13743

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Constraint solving on bounded string variables
• Symbolic automata constraint solving
• A methodological view of constraint solving
• MiniZinc with strings
• An Evaluation of Automata Algorithms for String Analysis

Cited in

(7)

• scientific article; zbMATH DE number 1696804 (Why is no real title available?)
• Intelligent Processing of an Unrestricted Text in First Order String Calculus
• Simple linear string constraints
• Model Checking for String Problems
• Variant Satisfiability of Parameterized Strings
• Solving String Theories Involving Regular Membership Predicates Using SAT
• Solving Not-Substring Constraint withFlat Abstraction

This page was built for publication: Constraint reasoning over strings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897209)