A new algorithm for Weighted Partial MaxSAT


Català Castellano English

	Pàgina d'inici
	Estadístiques d'ús

Llistar
	Comunitats
	Títol
	Autor
	Data
	Matèria
	Àrees temàtiques de la UPC

Serveis
	Alertes
	El meu E-prints UPC usuaris autoritzats
	Editar perfil
	Entrada usuaris no UPC



	Sobre DSpace

	Bibliotècnica: la biblioteca digital de la UPC

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ó	Mida	Format
Ansotegui.pdf		172.56 kB	Adobe PDF

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 ; Levy Díaz, Jordi
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:	Departament de Llenguatges i Sistemes Informàtics. Ponències/Comunicacions de congressos LOGPROG - Logica i Programacio. Ponències/Comunicacions de congressos Altres. Enviament des de DRAC
Comparteix:

Stats Mostra les estadístiques d'aquest ítem

Queda prohibida la reproducció, transformació, distribució i comunicació pública d'aquesta obra. Es permet, en tot cas, la reproducció per a ús privat sempre i quan la còpia que se'n faci no sigui objecte d'utilització col·lectiva ni lucrativa (art. 31.2 del Reial Decret Legislatiu 1/1996, de 12 d'abril, pel qual s'aprova el Text Refós de la Llei de Propietat Intel·lectual, http://bibliotecnica.upc.es/sepi/legislacio.asp).

Per a qualsevol ús que es vulgui fer diferent al permès, dirigiu-vos a: sepi@upc.edu