Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems

Yong Gao. Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 265-270, AAAI Press, 2008.

Abstract

Abstract is missing.