%0 Conference Paper %1 conf/iclp/GebserKKL0S16 %A Gebser, Martin %A Kaminski, Roland %A Kaufmann, Benjamin %A Lühne, Patrick %A Romero, Javier %A Schaub, Torsten %B ICLP (Technical Communications) %D 2016 %E Carro, Manuel %E King, Andy %E Saeedloei, Neda %E Vos, Marina De %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:15 %T Answer Set Solving with Generalized Learned Constraints. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#GebserKKL0S16 %V 52 %@ 978-3-95977-007-1

@inproceedings{conf/iclp/GebserKKL0S16, added-at = {2021-04-09T00:00:00.000+0200}, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Lühne, Patrick and Romero, Javier and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2dfed52b6c72564ba448033a3509b0082/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2016}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and Vos, Marina De}, ee = {https://doi.org/10.4230/OASIcs.ICLP.2016.9}, interhash = {951fbc58418a111750d8fbabebca1545}, intrahash = {dfed52b6c72564ba448033a3509b0082}, isbn = {978-3-95977-007-1}, keywords = {dblp}, pages = {9:1-9:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-09T16:09:44.000+0200}, title = {Answer Set Solving with Generalized Learned Constraints.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#GebserKKL0S16}, volume = 52, year = 2016 }