%0 Conference Paper %1 conf/sat/AudemardPS20 %A Audemard, Gilles %A Paulevé, Loïc %A Simon, Laurent %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 107-113 %T SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#AudemardPS20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/AudemardPS20, added-at = {2024-05-30T00:00:00.000+0200}, author = {Audemard, Gilles and Paulevé, Loïc and Simon, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/273b0a36ec9067d10b4f03c477e905914/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_8}, interhash = {b2443ece5eda62ef52871dab5343cb74}, intrahash = {73b0a36ec9067d10b4f03c477e905914}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {107-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-03T07:21:45.000+0200}, title = {SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#AudemardPS20}, volume = 12178, year = 2020 }