Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}