http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

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

Kremer, Gereon (Corresponding author)^RWTH* ; Corzilius, Florian ; Ábrahám, Erika^RWTH*

In
Computer algebra in scientific computing : 18th international workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / Vladimir P. Gerdt, Wolfram Kkoepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.), Seiten/Artikel-Nr: 315-335

2016 & 2018

Konferenz/Event:International Workshop on Computer Algebra in Scientific Computing , Bucharest , Romania , CASC16 , 2016-09-19 - 2016-09-23

ImpressumCham : Springer International Publishing

Umfang315-335

ISBN978-3-319-45640-9, 978-3-319-45641-6

ReiheLecture Notes in Computer Science ; 9890

Weitere Reihe: Springer eBook Collection : Computer Science / Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2018

Online
DOI: 10.18154/RWTH-2016-07600
DOI: 10.1007/978-3-319-45641-6_21
10.1007/978-3-319-45641-6_21
URL: http://publications.rwth-aachen.de/record/670551/files/670551.pdf
URL: http://publications.rwth-aachen.de/record/670551/files/670551.pdf?subformat=pdfa

Einrichtungen

1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
2. Fachgruppe Informatik (120000)

Thematische Einordnung (Klassifikation)
DDC: 004

OpenAccess:
PDF PDF (PDFA)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-84988416894
WOS Core Collection: WOS:000387957100021

Interne Identnummern
RWTH-2016-07600
Datensatz-ID: 670551

Beteiligte Länder
Germany