A Relaxed Tseitin Transformation for Weighted Model Counting (bibtex)

by Wannes Meert, Jonas Vlasselaer and Guy Van den Broeck
Reference:
Wannes Meert, Jonas Vlasselaer and Guy Van den Broeck. A Relaxed Tseitin Transformation for Weighted Model Counting, In International Workshop on Statistical Relational AI, 2016.
Bibtex Entry:
@inproceedings{MeertStarAI16,
  author = "Meert, Wannes and Vlasselaer, Jonas and Van den Broeck, Guy",
  title = "A Relaxed Tseitin Transformation for Weighted Model Counting",
  booktitle = "International Workshop on Statistical Relational AI",
  month = Feb,
  year = "2016",
  url = "http://starai.cs.ucla.edu/papers/MeertStarAI16.pdf",
  keywords   = {workshop}
}
PDF Preview:
(PDF preview not available, download PDF instead)
Powered by bibtexbrowser