Satisfiability and Algorithms for Non-uniform Random k-SAT.

Oleksii Omelchenko, Andrei Bulatov

Browse the full AAAI paper archive.