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, Erika Vorozhtsov, Evgenii V ; Seiler, Werner M ; Gerdt, Vladimir P ; Koepf, Wolfram ; Seiler, Werner M. ; Koepf, Wolfram ; Gerdt, Vladimir P. ; Vorozhtsov, Evgenii V.Computer Algebra in Scientific Computing, 2016, Vol.9890, p.315-335 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |