%0 Conference Paper %1 conf/lpnmr/BanbaraGIOPSSTW15 %A Banbara, Mutsunori %A Gebser, Martin %A Inoue, Katsumi %A Ostrowski, Max %A Peano, Andrea %A Schaub, Torsten %A Soh, Takehide %A Tamura, Naoyuki %A Weise, Matthias %B LPNMR %D 2015 %E Calimeri, Francesco %E Ianni, Giovambattista %E Truszczynski, Miroslaw %I Springer %K dblp %P 112-126 %T aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#BanbaraGIOPSSTW15 %V 9345 %@ 978-3-319-23263-8

@inproceedings{conf/lpnmr/BanbaraGIOPSSTW15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Banbara, Mutsunori and Gebser, Martin and Inoue, Katsumi and Ostrowski, Max and Peano, Andrea and Schaub, Torsten and Soh, Takehide and Tamura, Naoyuki and Weise, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/29369f3e0c25e162202689351b96c4390/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2015}, editor = {Calimeri, Francesco and Ianni, Giovambattista and Truszczynski, Miroslaw}, ee = {https://doi.org/10.1007/978-3-319-23264-5_10}, interhash = {778da1e96029222f5b3953c8f93b2bf1}, intrahash = {9369f3e0c25e162202689351b96c4390}, isbn = {978-3-319-23263-8}, keywords = {dblp}, pages = {112-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:45:42.000+0200}, title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#BanbaraGIOPSSTW15}, volume = 9345, year = 2015 }