%0 Conference Paper %1 conf/isaac/DasLLM21 %A Das, Rathish %A Lincoln, Andrea %A Lynch, Jayson %A Munro, J. Ian %B ISAAC %D 2021 %E Ahn, Hee-Kap %E Sadakane, Kunihiko %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 61:1-61:19 %T Dynamic Boolean Formula Evaluation. %U http://dblp.uni-trier.de/db/conf/isaac/isaac2021.html#DasLLM21 %V 212 %@ 978-3-95977-214-3

@inproceedings{conf/isaac/DasLLM21, added-at = {2021-11-30T00:00:00.000+0100}, author = {Das, Rathish and Lincoln, Andrea and Lynch, Jayson and Munro, J. Ian}, biburl = {https://www.bibsonomy.org/bibtex/28c473db12d99f04cea71f6271ae489ed/dblp}, booktitle = {ISAAC}, crossref = {conf/isaac/2021}, editor = {Ahn, Hee-Kap and Sadakane, Kunihiko}, ee = {https://doi.org/10.4230/LIPIcs.ISAAC.2021.61}, interhash = {1d9a57d5039b967ee6c5b376b6811ddd}, intrahash = {8c473db12d99f04cea71f6271ae489ed}, isbn = {978-3-95977-214-3}, keywords = {dblp}, pages = {61:1-61:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:36:02.000+0200}, title = {Dynamic Boolean Formula Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/isaac/isaac2021.html#DasLLM21}, volume = 212, year = 2021 }