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

@inproceedings{conf/icaart/BlommeBPR23, added-at = {2023-05-09T00:00:00.000+0200}, author = {Blomme, Anthony and Berre, Daniel Le and Parrain, Anne and Roussel, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/23d1461b2931921d110a7e2eb4005a1e2/dblp}, booktitle = {ICAART (3)}, crossref = {conf/icaart/2023-3}, editor = {Rocha, Ana Paula and Steels, Luc and van den Herik, H. Jaap}, ee = {https://doi.org/10.5220/0011671800003393}, interhash = {89986954189359555e3ee6b503f707c3}, intrahash = {3d1461b2931921d110a7e2eb4005a1e2}, isbn = {978-989-758-623-1}, keywords = {dblp}, pages = {358-365}, publisher = {SCITEPRESS}, timestamp = {2024-04-09T20:27:00.000+0200}, title = {Compressing UNSAT Search Trees with Caching.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2023-3.html#BlommeBPR23}, year = 2023 }