Using cross-entropy for satisfiability.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina

Browse the full SAC paper archive.