%0 Conference Paper %1 conf/cp/AmadiniGST17 %A Amadini, Roberto %A Gange, Graeme %A Stuckey, Peter J. %A Tack, Guido %B CP %D 2017 %E Beck, J. Christopher %I Springer %K %P 3-20 %T A Novel Approach to String Constraint Solving. %U http://dblp.uni-trier.de/db/conf/cp/cp2017.html#AmadiniGST17 %V 10416 %@ 978-3-319-66158-2

@inproceedings{conf/cp/AmadiniGST17, added-at = {2023-12-12T18:19:43.000+0100}, author = {Amadini, Roberto and Gange, Graeme and Stuckey, Peter J. and Tack, Guido}, biburl = {https://www.bibsonomy.org/bibtex/26e9a390ba4ead438e1c057fe679c38b3/admin}, booktitle = {CP}, crossref = {conf/cp/2017}, editor = {Beck, J. Christopher}, ee = {https://doi.org/10.1007/978-3-319-66158-2_1}, interhash = {10b1ad46dc4c5b14a3d16b586efd126f}, intrahash = {6e9a390ba4ead438e1c057fe679c38b3}, isbn = {978-3-319-66158-2}, keywords = {}, pages = {3-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:19:43.000+0100}, title = {A Novel Approach to String Constraint Solving.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2017.html#AmadiniGST17}, volume = 10416, year = 2017 }