skip to main content
Idioma:
Refinado por: tipo de recurso: Book Chapters remover Lecture Notes in Computer Science Archive (through to 1996) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

Gerdt, Vladimir P ; Koepf, Wolfram ; Seiler, Werner M ; Vorozhtsov, Evgenii V

Computer Algebra in Scientific Computing, 2016, Vol.9890, p.315-335 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.