Learning Polarity from Structure in SAT

Few instances of a computational problem are sui generis; most instead belong to some distribution of related instances, and information gained from solving past instances from the distribution may be leveraged to solve future instances more efficiently. Algorithm portfolio methods and algorithm synthesis system