Encodings and Benchmarks for MaxSAT Solving
| Author: | |
|---|---|
| Format: | doctoral thesis |
| Status: | Published version |
| Publication Date: | 2012 |
| Country: | España |
| Institution: | Universitat de Lleida (UdL) |
| Repository: | Repositori Obert UdL |
| OAI Identifier: | oai:repositori.udl.cat:10459.1/63979 |
| Online Access: | http://hdl.handle.net/10803/84021 |
| Access Level: | Open access |
| Keyword: | SAT MaxSAT Codificacions CSP Benchmarks Encodings Codificaciones Ciència de la Computació i Inteligència Artificial 004 |
| Description not available. |