Wenxiang Chen, Darrell Whitley. Decomposing SAT Instances with Pseudo Backbones. In Bin Hu, Manuel López-Ibáñez, editors, Evolutionary Computation in Combinatorial Optimization - 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings. Volume 10197 of Lecture Notes in Computer Science, pages 75-90, 2017. [doi]
Abstract is missing.