Scale-Free Random SAT Instances

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy. Scale-Free Random SAT Instances. Algorithms, 15(6):219, 2022. [doi]

Authors

Carlos Ansótegui

This author has not been identified. Look up 'Carlos Ansótegui' in Google

Maria Luisa Bonet

This author has not been identified. Look up 'Maria Luisa Bonet' in Google

Jordi Levy

This author has not been identified. Look up 'Jordi Levy' in Google