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]
Abstract is missing.