Encodings and Benchmarks for MaxSAT Solving

Detalhes bibliográficos
Autor: Cabiscol i Teixidó, Alba
Formato: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2012
País:España
Recursos:Universitat de Lleida (UdL)
Repositorio:Repositori Obert UdL
OAI Identifier:oai:repositori.udl.cat:10459.1/63979
Acesso em linha:http://hdl.handle.net/10803/84021
Access Level:acceso abierto
Palavra-chave:SAT
MaxSAT
Codificacions
CSP
Benchmarks
Encodings
Codificaciones
Ciència de la Computació i Inteligència Artificial
004
Descrição
Descrição não disponível.