Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem.

Alexander A. Semenov, Oleg Zaikin

Browse the full PACT paper archive.