Probabilistic satisfiability
- 1 March 1988
- journal article
- Published by Elsevier in Journal of Complexity
- Vol. 4 (1), 1-11
- https://doi.org/10.1016/0885-064x(88)90006-4
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Probabilistic logicArtificial Intelligence, 1986
- A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert SystemsIEEE Transactions on Pattern Analysis and Machine Intelligence, 1985
- Expert computer systemsComputer, 1983
- On Linear Characterizations of Combinatorial Optimization ProblemsSIAM Journal on Computing, 1982
- The ellipsoid method and its consequences in combinatorial optimizationCombinatorica, 1981
- Testing the universal instance assumptionInformation Processing Letters, 1980
- Some simplified NP-complete graph problemsTheoretical Computer Science, 1976
- Fuzzy setsInformation and Control, 1965