Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Dataset . 2024
License: CC BY
Data sources: ZENODO
Claim

Lifespan of SAT Techniques

Research datakeyboard_double_arrow_right Dataset 02 Feb 2024Publisher:Zenodo
Authors: Fleury, Mathias; Kaufmann, Daniela;

doi: 10.5281/zenodo.10608480

Lifespan of SAT Techniques

Abstract

This artifact contains all the log files we have collected for our paper "Life span of SAT techniques" and the presentation at the Pragmatics of SAT 2023 workshop.

Related Organizations
Powered by OpenAIRE graph
Found an issue? Give us feedback