%0 Conference Paper %1 conf/kr/KieselE23 %A Kiesel, Rafael %A Eiter, Thomas %B KR %D 2023 %E Marquis, Pierre %E Son, Tran Cao %E Kern-Isberner, Gabriele %K dblp %P 406-416 %T Knowledge Compilation and More with SharpSAT-TD. %U http://dblp.uni-trier.de/db/conf/kr/kr2023.html#KieselE23 %@ 978-1-956792-02-7

@inproceedings{conf/kr/KieselE23, added-at = {2023-09-05T00:00:00.000+0200}, author = {Kiesel, Rafael and Eiter, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/24ccf0ec9cbf5a6e55e2a54a1e163304d/dblp}, booktitle = {KR}, crossref = {conf/kr/2023}, editor = {Marquis, Pierre and Son, Tran Cao and Kern-Isberner, Gabriele}, ee = {https://doi.org/10.24963/kr.2023/40}, interhash = {66e6c0404894eaefa48c3623fb3db285}, intrahash = {4ccf0ec9cbf5a6e55e2a54a1e163304d}, isbn = {978-1-956792-02-7}, keywords = {dblp}, pages = {406-416}, timestamp = {2024-04-09T23:53:57.000+0200}, title = {Knowledge Compilation and More with SharpSAT-TD.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2023.html#KieselE23}, year = 2023 }