System BV is NP-complete

Ozan KahramanoğullarıOzan Kahramanoğulları

Ozan Kahramanoğulları
System BV is NP-complete
In R. de Queiroz and A. Macintyre and G. Bittencourt, eds., Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), July 2005, volume 143 of Electronic Notes in Theoretical Computer Science, 87-99, 2006. Elsevier

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{K2006,
  author    = {Ozan Kahramano{\u{g}}ullar{\i}},
  title     = {System {BV} is {NP-complete}},
  editor    = {R. de Queiroz and A. Macintyre and G. Bittencourt},
  booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information
               and Computation (WoLLIC 2005), July 2005},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {143},
  publisher = {Elsevier},
  year      = {2006},
  pages     = {87-99}
}