Inproceedings,
Compressing UNSAT CDCL Trees with Caching.
A. Blomme, D. Berre, A. Parrain, and O. Roussel.ICAART (3), page 792-799. SCITEPRESS, (2024)
Meta data
- BibTeX key
- conf/icaart/BlommeBPR24
- entry type
- inproceedings
- booktitle
- ICAART (3)
- year
- 2024
- pages
- 792-799
- publisher
- SCITEPRESS
- crossref
- conf/icaart/2024-3
- ee
- https://doi.org/10.5220/0012393000003636
- isbn
- 978-989-758-680-4
- url
- http://dblp.uni-trier.de/db/conf/icaart/icaart2024-3.html#BlommeBPR24
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}