%0 Conference Paper %1 conf/lpnmr/RankoohJ22 %A Rankooh, Masood Feyzbakhsh %A Janhunen, Tomi %B LPNMR %D 2022 %E Gottlob, Georg %E Inclezan, Daniela %E Maratea, Marco %I Springer %K dblp %P 203-216 %T Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#RankoohJ22 %V 13416 %@ 978-3-031-15707-3

@inproceedings{conf/lpnmr/RankoohJ22, added-at = {2023-01-05T00:00:00.000+0100}, author = {Rankooh, Masood Feyzbakhsh and Janhunen, Tomi}, biburl = {https://www.bibsonomy.org/bibtex/2c68c849aaef7e22aba3186924cc6a4f6/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2022}, editor = {Gottlob, Georg and Inclezan, Daniela and Maratea, Marco}, ee = {https://doi.org/10.1007/978-3-031-15707-3_16}, interhash = {3a877878714730b5def642d7f369175e}, intrahash = {c68c849aaef7e22aba3186924cc6a4f6}, isbn = {978-3-031-15707-3}, keywords = {dblp}, pages = {203-216}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:58:14.000+0200}, title = {Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#RankoohJ22}, volume = 13416, year = 2022 }