Design and implementation of bounded-length sequence variables

DOI10.1007/978-3-319-59776-8_5MaRDI QIDQ2011574zbMATH OpenOpenAlexFDO

Authors Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte

Publication date 4 August 2017

Full work available at URL http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-210288

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Constraint solving on bounded string variables
• Reasoning on sequences in constraint-based local search frameworks
• Principles and Practice of Constraint Programming – CP 2004
• scientific article; zbMATH DE number 2032420
• scientific article; zbMATH DE number 2080049

Cites work

• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• Constraint solving on bounded string variables
• Constraint-Based Sequence Mining Using Constraint Programming
• Path Feasibility Analysis for String-Manipulating Programs
• Simple linear string constraints
• Unbounded model-checking with interpolation for regular language constraints

Cited in

(4)

• Word equations in synergy with regular constraints
• RRB vector: a practical general purpose immutable sequence
• Constraint solving on bounded string variables
• Dashed strings for string constraint solving

Describes a project that uses

Uses Software

• WAPTEC
• Norn
• HAMPI
• Gecode
• MiniZinc
• CSPLib

This page was built for publication: Design and implementation of bounded-length sequence variables

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