skip to main content
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Perfect Hashing and CNF Encodings of Cardinality Constraints
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Perfect Hashing and CNF Encodings of Cardinality Constraints

Ben-Haim, Yael ; Ivrii, Alexander ; Margalit, Oded ; Matsliah, Arie Cimatti, Alessandro (Editor) ; Sebastiani, Roberto (Editor)

Lecture Notes in Computer Science, Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, pp.397-409

Berlin, Heidelberg: Springer Berlin Heidelberg 2012

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.