TY  - JOUR
AU  - Jiang, Y.
AU  - Kautz, H.
AU  - Selman, B.
PY  - 1995//
TI  - Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAX-SAT
ID  - jiang95
ER  -