Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Chu Min Li. Analysis and Generation of Pseudo-Industrial MaxSAT Instances. In David Riaño 0001, Eva Onaindia, Miguel Cazorla, editors, Artificial Intelligence Research and Development - Proceedings of the 15th International Conference of the Catalan Association for Artificial Intelligence, University of Alacant, Spain, October 24-26, 2012. Volume 248 of Frontiers in Artificial Intelligence and Applications, pages 173-184, IOS Press, 2012. [doi]
Abstract is missing.