A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming
scientific article; zbMATH DE number 6680878
scientific article