Symbolic automata constraint solving

DOI10.1007/978-3-642-16242-8_45MaRDI QIDQ4933337zbMATH OpenOpenAlexFDO

Authors Margus Veanes, Nikolaj Bjørner, Leonardo de Moura

Publication date 12 October 2010

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16242-8_45

Mathematics Subject Classification ID

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

Recommendations

• An efficient SMT solver for string constraints
• An Evaluation of Automata Algorithms for String Analysis
• Solving String Theories Involving Regular Membership Predicates Using SAT
• Symbolic automata: the toolkit
• Towards more efficient methods for solving regular-expression heavy string constraints

Cited in

(19)

• Symbolic techniques in satisfiability solving
• Succinct ordering and aggregation constraints in algebraic array theories
• Validity Checking for Finite Automata over Linear Arithmetic Constraints
• An Evaluation of Automata Algorithms for String Analysis
• A decision procedure for regular membership and length constraints over unbounded strings
• A symbolic decision procedure for symbolic alternating finite automata
• Unbounded model-checking with interpolation for regular language constraints
• Symbolic automatic relations and their applications to SMT and CHC solving
• A symbolic algorithm for the case-split rule in string constraint solving
• Simple linear string constraints
• Quantitative monitoring of STL with edit distance
• Weighted symbolic automata with data storage
• Symbolic tree automata
• Even Faster Conflicts and Lazier Reductions for String Solvers
• Regular Expressions with Numerical Constraints and Automata with Counters
• SMT-based generation of symbolic automata
• Pumping, cleaning and symbolic constraints solving
• Constraint reasoning over strings
• An efficient SMT solver for string constraints

Describes a project that uses

Uses Software

• z3

This page was built for publication: Symbolic automata constraint solving

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