%0 Journal Article %1 journals/ai/AmadiniGS20 %A Amadini, Roberto %A Gange, Graeme %A Stuckey, Peter J. %D 2020 %J Artif. Intell. %K dblp %P 103368 %T Dashed strings for string constraint solving. %U http://dblp.uni-trier.de/db/journals/ai/ai289.html#AmadiniGS20 %V 289

@article{journals/ai/AmadiniGS20, added-at = {2020-11-14T00:00:00.000+0100}, author = {Amadini, Roberto and Gange, Graeme and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2e1594c0b256fc8546565517ef614b0a4/dblp}, ee = {https://doi.org/10.1016/j.artint.2020.103368}, interhash = {058c8612fbda860a50b205114748acb2}, intrahash = {e1594c0b256fc8546565517ef614b0a4}, journal = {Artif. Intell.}, keywords = {dblp}, pages = 103368, timestamp = {2020-11-15T11:35:43.000+0100}, title = {Dashed strings for string constraint solving.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai289.html#AmadiniGS20}, volume = 289, year = 2020 }