Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Gate elimination: Circuit size lower bounds and #SAT upper boundsGolovnev, Alexander ; Kulikov, Alexander S. ; Smal, Alexander V. ; Tamaki, SuguruTheoretical computer science, 2018-04, Vol.719, p.46-63 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
New exact algorithms for the 2-constraint satisfaction problemGolovnev, Alexander ; Kutzkov, KonstantinTheoretical computer science, 2014-03, Vol.526, p.18-27 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |