%0 Journal Article %1 journals/ai/HendersonSSCSFM20 %A Henderson, Thomas C. %A Simmons, Robert %A Serbinowski, Bernard %A Cline, Michael %A Sacharny, David %A Fan, Xiuyi %A Mitiche, Amar %D 2020 %J Artif. Intell. %K dblp %T Probabilistic sentence satisfiability: An approach to PSAT. %U http://dblp.uni-trier.de/db/journals/ai/ai278.html#HendersonSSCSFM20 %V 278

@article{journals/ai/HendersonSSCSFM20, added-at = {2020-10-26T00:00:00.000+0100}, author = {Henderson, Thomas C. and Simmons, Robert and Serbinowski, Bernard and Cline, Michael and Sacharny, David and Fan, Xiuyi and Mitiche, Amar}, biburl = {https://www.bibsonomy.org/bibtex/21a6c878e0dc47632c31e29b28752981d/dblp}, ee = {https://doi.org/10.1016/j.artint.2019.103199}, interhash = {036e84a6903befeddf3b4e291bfe34d9}, intrahash = {1a6c878e0dc47632c31e29b28752981d}, journal = {Artif. Intell.}, keywords = {dblp}, timestamp = {2020-10-27T12:12:01.000+0100}, title = {Probabilistic sentence satisfiability: An approach to PSAT.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai278.html#HendersonSSCSFM20}, volume = 278, year = 2020 }