Design and implementation of bounded-length sequence variables

DOI10.1007/978-3-319-59776-8_5zbMath1489.68258OpenAlexW2619859861MaRDI QIDQ2011574

Justin Pearson, Pierre Flener, Joseph D. Scott, 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)

Related Items (2)

Word equations in synergy with regular constraints ⋮ Dashed strings for string constraint solving

Uses Software

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

Cites Work

• Unnamed Item
• Simple linear string constraints
• Path Feasibility Analysis for String-Manipulating Programs
• Unbounded Model-Checking with Interpolation for Regular Language Constraints
• Constraint-Based Sequence Mining Using Constraint Programming
• Constraint Solving on Bounded String Variables

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