Carlos Ansótegui, Jordi Levy. On the Modularity of Industrial SAT Instances. In Cèsar Fernández, Hector Geffner, Felip Manyà, editors, Artificial Intelligence Research and Development - Proceedings of the 14th International Conference of the Catalan Association for Artificial Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011. Volume 232 of Frontiers in Artificial Intelligence and Applications, pages 11-20, IOS Press, 2011. [doi]
Abstract is missing.