Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.

Marcelo Finger, Glauber De Bona

Browse the full IJCAI paper archive.