Publicaciones

Exact MinSAT Solving

Tipo de Publicación:

Conference Paper

Origen:

International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Volumen6175, Edinburgh, UK, p.363-368 (2010)

ISBN:

978-3-642-14185-0

Palabras clave:

Min-SAT; Max-SAT

Proyectos: