Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer ArithmeticKremer, Gereon ; Corzilius, Florian ; Ábrahám, ErikaComputer Algebra in Scientific Computing, 2016, Vol.9890, p.315-335 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |