"Probabilistic satisfiability."

George F. Georgakopoulos, Dimitris J. Kavvadias, Christos H. Papadimitriou (1988)

Details and statistics

DOI: 10.1016/0885-064X(88)90006-4

access: open

type: Journal Article

metadata version: 2021-02-16