Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su

Browse the full CP paper archive.