Phase Transition in Realistic Random SAT Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy. Phase Transition in Realistic Random SAT Models. In Jordi Sabater-Mir, Vicenç Torra, Isabel Aguiló, Manuel González Hidalgo, editors, Artificial Intelligence Research and Development - Proceedings of the 22nd International Conference of the Catalan Association for Artificial Intelligence, CCIA 2019, Mallorca, Spain, 23-25 October 2019. Volume 319 of Frontiers in Artificial Intelligence and Applications, pages 213-222, IOS Press, 2019. [doi]

This author has not been identified. Look up 'Carlos Ansótegui' in GoogleThis author has not been identified. Look up 'Maria Luisa Bonet' in GoogleThis author has not been identified. Look up 'Jordi Levy' in Google

runs on WebDSL