Carregant...
Carregant...

Vés al contingut (premeu Retorn)

SAT-based MaxSAT algorithms

Autor
Ansótegui, C.; Bonet, M.; Levy, J.
Tipus d'activitat
Article en revista
Revista
Artificial intelligence
Data de publicació
2013-03
Volum
196
Pàgina inicial
77
Pàgina final
105
DOI
https://doi.org/10.1016/j.artint.2013.01.002 Obrir en finestra nova
URL
http://www.sciencedirect.com/science/article/pii/S000437021300012X Obrir en finestra nova
Paraules clau
Boolean optimization, Experimental studies, Industrial optimization, Industrial problem, Max-SAT, MaxSAT, NP-hard, Practical problems, Real problems, SAT, SAT solvers
Grup de recerca
LOGPROG - Lògica i Programació

Participants