Back to Search Start Over

Scale-free random SAT instances

Authors :
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Ansótegui Gil, Carlos
Bonet Carbonell, M. Luisa
Levy Díaz, Jordi
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Ansótegui Gil, Carlos
Bonet Carbonell, M. Luisa
Levy Díaz, Jordi
Publication Year :
2022

Abstract

This research was supported by the project PROOFS, Grant PID2019-109137GB-C21 funded by MCIN/AEI/10.13039/501100011033.<br />Peer Reviewed<br />Postprint (published version)

Details

Database :
OAIster
Notes :
24 p., application/pdf, English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1461017713
Document Type :
Electronic Resource

Tools

Authors Abstract Subjects Details