Inproceedings,
Large-Neighbourhood Search for Optimisation in Answer-Set Solving.
T. Eiter, T. Geibinger, N. Ruiz, N. Musliu, J. Oetsch, and D. Stepanova.AAAI, page 5616-5625. AAAI Press, (2022)
Meta data
- BibTeX key
- conf/aaai/EiterGRMO022
- entry type
- inproceedings
- booktitle
- AAAI
- year
- 2022
- pages
- 5616-5625
- publisher
- AAAI Press
- crossref
- conf/aaai/2022
- ee
- https://doi.org/10.1609/aaai.v36i5.20502
- isbn
- 978-1-57735-876-3
- url
- http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#EiterGRMO022
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aaai/EiterGRMO022
%A Eiter, Thomas
%A Geibinger, Tobias
%A Ruiz, Nelson Higuera
%A Musliu, Nysret
%A Oetsch, Johannes
%A Stepanova, Daria
%B AAAI
%D 2022
%I AAAI Press
%K dblp
%P 5616-5625
%T Large-Neighbourhood Search for Optimisation in Answer-Set Solving.
%U http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#EiterGRMO022
%@ 978-1-57735-876-3
@inproceedings{conf/aaai/EiterGRMO022,
added-at = {2023-09-08T00:00:00.000+0200},
author = {Eiter, Thomas and Geibinger, Tobias and Ruiz, Nelson Higuera and Musliu, Nysret and Oetsch, Johannes and Stepanova, Daria},
biburl = {https://www.bibsonomy.org/bibtex/22f827f4d930c5d0651e3e69dd10aea39/dblp},
booktitle = {AAAI},
crossref = {conf/aaai/2022},
ee = {https://doi.org/10.1609/aaai.v36i5.20502},
interhash = {7062bc61bac90b49ea38eee97f60fd8f},
intrahash = {2f827f4d930c5d0651e3e69dd10aea39},
isbn = {978-1-57735-876-3},
keywords = {dblp},
pages = {5616-5625},
publisher = {AAAI Press},
timestamp = {2024-04-09T18:12:25.000+0200},
title = {Large-Neighbourhood Search for Optimisation in Answer-Set Solving.},
url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#EiterGRMO022},
year = 2022
}