A Complexity Index for Satisfiability Problems

Endre Boros, Yves Crama, Peter L. Hammer, Michael E. Saks. A Complexity Index for Satisfiability Problems. In Egon Balas, Gérard Cornuéjols, Ravi Kannan, editors, Proceedings of the 2nd Integer Programming and Combinatorial Optimization Conference, Pittsburgh, PA, May 1992. pages 220-226, Carnegie Mellon University, 1992.

@inproceedings{BorosCHS92,
  title = {A Complexity Index for Satisfiability Problems},
  author = {Endre Boros and Yves Crama and Peter L. Hammer and Michael E. Saks},
  year = {1992},
  tags = {e-science},
  researchr = {https://researchr.org/publication/BorosCHS92},
  cites = {0},
  citedby = {0},
  pages = {220-226},
  booktitle = {Proceedings of the 2nd Integer Programming and Combinatorial Optimization Conference, Pittsburgh, PA, May 1992},
  editor = {Egon Balas and Gérard Cornuéjols and Ravi Kannan},
  publisher = {Carnegie Mellon University},
}