Tobias Philipp. Clause Simplifications in Search-Space Decomposition-Based Sat Solvers. In Ulle Endriss, João Leite, editors, STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium, Prague, Czech Republic, August 18-22, 2014. Volume 264 of Frontiers in Artificial Intelligence and Applications, pages 211-219, IOS Press, 2014. [doi]
Abstract is missing.