Propagation based local search for bit-precise reasoning (Englisch)
Freier Zugriff
- Neue Suche nach: Niemetz, Aina
- Weitere Informationen zu Niemetz, Aina:
- https://orcid.org/0000-0003-2600-5283
- Neue Suche nach: Preiner, Mathias
- Weitere Informationen zu Preiner, Mathias:
- https://orcid.org/0000-0002-7142-6258
- Neue Suche nach: Biere, Armin
- Weitere Informationen zu Biere, Armin:
- https://orcid.org/0000-0001-7170-9242
- Neue Suche nach: Niemetz, Aina
- Weitere Informationen zu Niemetz, Aina:
- https://orcid.org/0000-0003-2600-5283
- Neue Suche nach: Preiner, Mathias
- Weitere Informationen zu Preiner, Mathias:
- https://orcid.org/0000-0002-7142-6258
- Neue Suche nach: Biere, Armin
- Weitere Informationen zu Biere, Armin:
- https://orcid.org/0000-0001-7170-9242
In:
Formal Methods in System Design
;
51
, 3
; 608-636
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Propagation based local search for bit-precise reasoning
-
Beteiligte:
-
Erschienen in:Formal Methods in System Design ; 51, 3 ; 608-636
-
Verlag:
- Neue Suche nach: Springer US
- Neue Suche nach: Springer Science + Business Media B.V
-
Erscheinungsort:Dordrecht [u.a.]
-
Erscheinungsdatum:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 53.52$jElektronische Schaltungen / 54.30 / 53.52 / 54.30$jSystemarchitektur: Allgemeines$XInformatik / 54.20 / 54.20$jDatenverarbeitungsanlagen: Allgemeines
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 53.52$jElektronische Schaltungen / 54.30 Systemarchitektur: Allgemeines / 53.52 Elektronische Schaltungen / 54.30$jSystemarchitektur: Allgemeines$XInformatik / 54.20 Datenverarbeitungsanlagen: Allgemeines / 54.20$jDatenverarbeitungsanlagen: Allgemeines -
Datenquelle:
Inhaltsverzeichnis – Band 51, Ausgabe 3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 431
-
Preface to special issue on satisfiability modulo theoriesGriggio, Alberto / Rümmer, Philipp et al. | 2017
- 433
-
New techniques for linear arithmetic: cubes and equalitiesBromberger, Martin / Weidenbach, Christoph et al. | 2017
- 462
-
raSAT: an SMT solver for polynomial constraintsTung, Vu Xuan / Van Khanh, To / Ogawa, Mizuhito et al. | 2017
- 500
-
Solving quantified linear arithmetic by counterexample-guided instantiationReynolds, Andrew / King, Tim / Kuncak, Viktor et al. | 2017
- 533
-
NP-completeness of small conflict set generation for congruence closureFellner, Andreas / Fontaine, Pascal / Paleo, Bruno Woltzenlogel et al. | 2017
- 545
-
Cardinality constraints for arrays (decidability results and applications)Alberti, F. / Ghilardi, S. / Pagani, E. et al. | 2017
- 575
-
Compositional entailment checking for a fragment of separation logicEnea, Constantin / Lengál, Ondřej / Sighireanu, Mihaela / Vojnar, Tomáš et al. | 2017
- 608
-
Propagation based local search for bit-precise reasoningNiemetz, Aina / Preiner, Mathias / Biere, Armin et al. | 2017