On market-inspired approaches to propositional satisfiability
scientific article; zbMATH DE number 5003863
scientific article