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.

@inproceedings{Gao08:1,
  title = {Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems},
  author = {Yong Gao},
  year = {2008},
  researchr = {https://researchr.org/publication/Gao08%3A1},
  cites = {0},
  citedby = {0},
  pages = {265-270},
  booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008},
  editor = {Dieter Fox and Carla P. Gomes},
  publisher = {AAAI Press},
  isbn = {978-1-57735-368-3},
}