Carregant...
Carregant...

Vés al contingut (premeu Retorn)

MiniMaxSat: a new weighted Max-SAT solver

Autor
Heras, F.; Larrosa, J.; Oliveras, A.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
Theory and applications of satisfiability testing
Any de l'edició
2007
Llibre d'actes
Theory and applications of satisfiability testing : SAT 2007
Pàgina inicial
41
Pàgina final
55
Grup de recerca
LOGPROG - Lògica i Programació

Participants