206 followers
В качестве бонуса: https://t.co/K9TIG9BRhC "clauses with a large number of correct literals w. r. t. a fixed solution are beneficial to the runtime of stochastic local search... "Empirical evaluations show that short clauses learned by CDCL possess the h