| Títol | On Solving MaxSAT Through SAT |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Ansótegui C, Bonet MLuisa, Levy J |
| Conference Name | Workshop on Pragmatics of SAT, POS-10 |
| URL | http://www.easychair.org/publications/?page=991445876 |
| Títol | On Solving MaxSAT Through SAT |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Ansótegui C, Bonet MLuisa, Levy J |
| Conference Name | Workshop on Pragmatics of SAT, POS-10 |
| URL | http://www.easychair.org/publications/?page=991445876 |