Sökning: onr:"swepub:oai:DiVA.org:uu-309538" >
MiniZinc with strings
MiniZinc with strings
-
- Amadini, Roberto (författare)
- University of Melbourne, Melbourne, Australia
-
- Flener, Pierre (författare)
- Uppsala universitet,Datalogi,ASTRA
-
- Pearson, Justin (författare)
- Uppsala universitet,Datalogi,ASTRA
-
visa fler...
-
- Scott, Joseph D. (författare)
- Uppsala universitet,Datalogi,ASTRA
-
- Stuckey, Peter J. (författare)
- University of Melbourne, Melbourne, Australia
-
- Tack, Guido (författare)
- Monash University, Melbourne, Australia
-
visa färre...
-
(creator_code:org_t)
- 2017-07-25
- 2017
- Engelska.
-
Ingår i: Logic-Based Program Synthesis and Transformation. - Cham : Springer. - 9783319631387 - 9783319631394 ; , s. 59-75
- Relaterad länk:
-
http://minerva-acces...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analysis and verification, testing, model checking, and web security. Nevertheless, practically no constraint programming solver natively supports string constraints. We introduce string variables and a suitable set of string constraints as builtin features of the MiniZinc modelling language. Furthermore, we define an interpreter for converting a MiniZinc model with strings into a FlatZinc instance relying only on integer variables. This conversion is obtained via rewrite rules, and does not require any extension of the existing FlatZinc specification. This provides a user-friendly interface for modelling combinatorial problems with strings, and enables both string and non-string solvers to actually solve such problems.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas