MiniZinc with strings

DOI10.1007/978-3-319-63139-4_4zbMath1485.68027arXiv1608.03650OpenAlexW2518310723MaRDI QIDQ2409726

Justin Pearson, Joseph D. Scott, Pierre Flener, Guido Tack, Roberto Amadini, Peter J. Stuckey

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1608.03650

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Algorithms on strings (68W32)

Related Items (2)

Dashed strings for string constraint solving ⋮ MiniZinc

Uses Software

• Gurobi
• FlatZinc
• Gecode
• Stranger
• HAMPI
• Oscar.cbls
• Z3-str
• S3
• Norn
• WAPTEC
• iZplus
• StrSolve
• PASS
• Picat-SAT

This page was built for publication: MiniZinc with strings