Inproceedings,
Compressing UNSAT Search Trees with Caching.
A. Blomme, D. Berre, A. Parrain, and O. Roussel.ICAART (3), page 358-365. SCITEPRESS, (2023)
Meta data
- BibTeX key
- conf/icaart/BlommeBPR23
- entry type
- inproceedings
- booktitle
- ICAART (3)
- year
- 2023
- pages
- 358-365
- publisher
- SCITEPRESS
- crossref
- conf/icaart/2023-3
- ee
- https://doi.org/10.5220/0011671800003393
- isbn
- 978-989-758-623-1
- url
- http://dblp.uni-trier.de/db/conf/icaart/icaart2023-3.html#BlommeBPR23
Tags
Users
Comments and Reviewsshow / hide
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
}