Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Bridging Constraint Satisfaction and Boolean Satisfiability

108.11 CHF

Versandkostenfrei

Versandkostenfreie Lieferung!

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10442316

Beschreibung

Introduction.- Background.- Solver Performance on Tractable CSPs: Empirical Evaluation.- SAT Encodings.- From CSP to SAT: Width Restrictions.- From CSP to SAT: Language Restrictions.- SAT Encodings of a Classical Problem: A Case Study.- Conclusions.

Eigenschaften

Breite:	163
Höhe:	243
Länge:	13
Seiten:	113
Sprachen:	Englisch
Autor:	Justyna Petke

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD, m. 1 Buch: Der Ruck-Zuck-Kurs für zu Hause - in kürzes

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD,... 11.07.2014 Sofort lieferbar

36.94

PowerShell 7 und Windows PowerShell: Das komplette Praxiswissen für Administratoren und IT-Profis. F

PowerShell 7 und Windows PowerShell: Das... 14.07.2021 Sofort lieferbar

37.94

SAP-Personalwirtschaft: Praxishandbuch. Alle wichtigen HP-Funktionen Schritt für Schritt erklärt. Pr

SAP-Personalwirtschaft: Praxishandbuch. Alle... 28.12.2016

74.97

Angebote

Topseller

- 56 %

Bestron ABP604 Tischgrill Sofort lieferbar

119,44 52.69

- 56 %

ROWENTA Silence Force Animal RO7473 Sofort lieferbar

450,67 199.74

- 55 %

Moulinex Companion XL Gourmet Sofort lieferbar

1103,08 500.85

Zuletzt angesehen