Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Medien

Online frei zugreifbar
Online frei zugreifbar

Aina Niemetz, Mathias Preiner, Armin Biere u. a.

Propagation based local search for bit-precise reasoning

Erschienen in: Formal methods in system design : an international journal 2.10.2017

Titel

Propagation based local search for bit-precise reasoning

Beteiligt

Aina Niemetz (Verfasser)
Mathias Preiner (Sonstige)
Armin Biere (Sonstige)
SpringerLink (Online service) (Sonstige)

Erschienen in

Formal methods in system design : an international journal 2.10.2017, Seite 1-29

Erschienen

2017

Sprache

Englisch

Land

Niederlande

Themen­gebiet

Informatik

Thema

Engineering.
Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Software Engineering/Programming and Operating Systems.

DDC-Notation

005.10151

Persistent Identifier

urn:nbn:de:1111-201711269439 (URN)
10.1007/s10703-017-0295-6 (DOI)

Datensatz-ID

1146996551
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal