A Relaxed Tseitin Transformation for Weighted Model Counting (bibtex)
by Wannes Meert, Jonas Vlasselaer and Guy Van den Broeck
View — Paper PDF
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:
Powered by bibtexbrowser