%0 Conference Paper %1 conf/spin/DalLL23 %A Dal, Giso H. %A Laarman, Alfons %A Lucas, Peter J. F. %B SPIN %D 2023 %E Caltais, Georgiana %E Schilling, Christian %I Springer %K dblp %P 22-37 %T ParaGnosis: A Tool for Parallel Knowledge Compilation. %U http://dblp.uni-trier.de/db/conf/spin/spin2023.html#DalLL23 %V 13872 %@ 978-3-031-32157-3

@inproceedings{conf/spin/DalLL23, added-at = {2023-05-05T00:00:00.000+0200}, author = {Dal, Giso H. and Laarman, Alfons and Lucas, Peter J. F.}, biburl = {https://www.bibsonomy.org/bibtex/2790ba8dcf41d1f650a4a2da8ef6e884b/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2023}, editor = {Caltais, Georgiana and Schilling, Christian}, ee = {https://doi.org/10.1007/978-3-031-32157-3_2}, interhash = {a6466f29173121556ee13e4db52f7c91}, intrahash = {790ba8dcf41d1f650a4a2da8ef6e884b}, isbn = {978-3-031-32157-3}, keywords = {dblp}, pages = {22-37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:50.000+0200}, title = {ParaGnosis: A Tool for Parallel Knowledge Compilation.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2023.html#DalLL23}, volume = 13872, year = 2023 }