Implementing Stable Semantics by Linear Programming

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian. Implementing Stable Semantics by Linear Programming. In LPNMR. pages 23-42, 1993.

@inproceedings{BellNNS93,
  title = {Implementing Stable Semantics by Linear Programming},
  author = {Colin Bell and Anil Nerode and Raymond T. Ng and V. S. Subrahmanian},
  year = {1993},
  tags = {semantics, programming},
  researchr = {https://researchr.org/publication/BellNNS93},
  cites = {0},
  citedby = {0},
  pages = {23-42},
  booktitle = {LPNMR},
}