%0 Conference Paper %1 conf/icaart/BlommeBPR24 %A Blomme, Anthony %A Berre, Daniel Le %A Parrain, Anne %A Roussel, Olivier %B ICAART (3) %D 2024 %E Rocha, Ana Paula %E Steels, Luc %E van den Herik, H. Jaap %I SCITEPRESS %K dblp %P 792-799 %T Compressing UNSAT CDCL Trees with Caching. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2024-3.html#BlommeBPR24 %@ 978-989-758-680-4

@inproceedings{conf/icaart/BlommeBPR24, added-at = {2024-04-04T00:00:00.000+0200}, author = {Blomme, Anthony and Berre, Daniel Le and Parrain, Anne and Roussel, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/20249e5499ed4a6ad9e37b3c5fc0f1602/dblp}, booktitle = {ICAART (3)}, crossref = {conf/icaart/2024-3}, editor = {Rocha, Ana Paula and Steels, Luc and van den Herik, H. Jaap}, ee = {https://doi.org/10.5220/0012393000003636}, interhash = {c448dc53880441262a9e88b4c7ecf527}, intrahash = {0249e5499ed4a6ad9e37b3c5fc0f1602}, isbn = {978-989-758-680-4}, keywords = {dblp}, pages = {792-799}, publisher = {SCITEPRESS}, timestamp = {2024-04-09T20:26:48.000+0200}, title = {Compressing UNSAT CDCL Trees with Caching.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2024-3.html#BlommeBPR24}, year = 2024 }