Yoichiro Iida, Tomohiro Sonobe, Mary Inaba. An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. In Matti Järvisalo, Daniel Le Berre, editors, Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. Volume 3545 of CEUR Workshop Proceedings, pages 46-58, CEUR-WS.org, 2023. [doi]
Abstract is missing.