Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
%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 = {2023-12-13T04:23:05.000+0100},
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/admin},
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 = {},
pages = {9:1-9:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {OASICS},
timestamp = {2023-12-13T04:23:05.000+0100},
title = {Answer Set Solving with Generalized Learned Constraints.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#GebserKKL0S16},
volume = 52,
year = 2016
}