Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.

Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman

Browse the full SAT paper archive.