@inproceedings{ICML-2019-WangDWK,
	author        = "Po-Wei Wang and Priya L. Donti and Bryan Wilder and J. Zico Kolter",
	booktitle     = "{Proceedings of the 36th International Conference on Machine Learning}",
	ee            = "http://proceedings.mlr.press/v97/wang19e.html",
	pages         = "6545--6554",
	publisher     = "{PMLR}",
	title         = "{SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver}",
	year          = 2019,
}