Design and implementation of bounded-length sequence variables

DOI10.1007/978-3-319-59776-8_5zbMATH Open1489.68258OpenAlexW2619859861MaRDI QIDQ2011574FDOQ2011574

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Unbounded model-checking with interpolation for regular language constraints
• Path Feasibility Analysis for String-Manipulating Programs
• Simple linear string constraints
• Constraint solving on bounded string variables
• Constraint-Based Sequence Mining Using Constraint Programming

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

Uses Software

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

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)