[SMT-COMP] [smt-lib] Re: [smt-announce] SMT-LIB Benchmarks on Zenodo

[BOBOT Francois]

Le jeudi 15 février 2024 à 10:31 -0800, Clark Barrett a écrit :
One DOI per year sounds like a good best practice to me.

It is the case with one entry by year or one version by year. Each version has a specific DOI and page.

However, the possibility to change the list of authors for each version is still not clear for me.

Best,

--
François