Probabilistic sentence satisfiability: An approach to PSAT

Autor:	Henderson, T.C., Simmons, R., Serbinowski, B., Cline, M., Sacharny, D., Fan, X., Mitiche, A.
Zdroj:	In Artificial Intelligence January 2020 278
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect