DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/16113

Ítem no disponible en accés obert per política de l'editorial

Arxiu Descripció MidaFormat
Ansotegui.pdf172,56 kBAdobe PDF Accés restringit

Citació: Ansótegui, C.; Bonet, M.; Levy, J. A new algorithm for Weighted Partial MaxSAT. A: AAAI Conference on Artificial Intelligence. "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010". 2011, p. 3-8.
Títol: A new algorithm for Weighted Partial MaxSAT
Autor: Ansótegui, Carlos; Bonet Carbonell, M. Luisa Veure Producció científica UPC; Levy Díaz, Jordi Veure Producció científica UPC
Data: 2011
Tipus de document: Conference report
Resum: We present and implement a Weighted Partial MaxSAT solver based on successive calls to a SAT solver. We prove the correctness of our algorithm and compare our solver with other Weighted Partial MaxSAT solvers.
URI: http://hdl.handle.net/2117/16113
Apareix a les col·leccions:Altres. Enviament des de DRAC
LOGPROG - Logica i Programacio. Ponències/Comunicacions de congressos
Departament de Ciències de la Computació. Ponències/Comunicacions de congressos
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius