skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

To Encode or to Propagate? The Best Choice for Each Constraint in SAT

Abío, Ignasi ; Nieuwenhuis, Robert ; Oliveras, Albert ; Rodríguez-Carbonell, Enric ; Stuckey, Peter J.

Principles and Practice of Constraint Programming, 2013, p.97-106 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.