Willkommen, schön sind Sie da!

Mein Ex Libris
Jetzt anmelden
- Bitte melden Sie sich an, um das Produkt zu bewerten.
  
  Bitte melden Sie sich an, um das Produkt als hilfreich/nicht hilfreich zu bewerten.
  
  Bitte melden Sie sich an, um eine Bewertung als Missbrauch zu melden.
  
  Bitte melden Sie sich an, um Ihre Merkliste zu sehen.
  
  Bitte melden Sie sich an, um Produkte in Ihre Merkliste hinzuzufügen.
  
  Bitte melden Sie sich an, um eine Rückmeldung zu geben.
  
  Die eingegebene E-Mail Adresse und/oder das Passwort sind nicht korrekt.
  
  E-Mail-Adresse
  
  Passwort
  
  Passwort vergessen
  
  Angemeldet bleiben
  
  Jetzt Konto eröffnen
  
  Bitte geben Sie Ihre E-Mail-Adresse ein. Existiert zu dieser Adresse ein Ex Libris-Konto, wird Ihnen ein Link zugeschickt, um ein neues Passwort zu setzen.
  
  Der Link wurde an die angegebene Adresse verschickt, sofern ein zugehöriges Ex Libris-Konto vorhanden ist.
  
  E-Mail-Adresse
  
  Zur Anmeldung Jetzt Konto eröffnen
DE FR

-1
- Der Artikel wurde der Merkliste hinzugefügt.

0
- Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt.
  
  Der Artikel wurde dem Warenkorb hinzugefügt.
  
  Ihr Warenkorb ist leer.
  
  cart.message.error
  Total
  
  CHF
  
  Zur Kasse

Erweiterte Suche

Bücher

Musik
- Musik im Club
- CD
- Vinyl
- Notenblätter

Games
- PC
- PS 5
- PS 4
- Xbox Series X

Mehr
- Geschenke & Fun

schliessen

Club-Welt Geschenkefinder Disney-Welten Aktionen & Specials Gutscheine schenken

Cover: https://exlibris.azureedge.net/covers/9783/3192/4318/4/9783319243184xl.jpg

Theory and Applications of Satisfiability Testing -- SAT 2015

E-Book (pdf)
436 Seiten

(0) Erste Bewertung abgeben

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability ... Weiterlesen

E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.

CHF 75.50

Download steht sofort bereit

Informationen zu E-Books: E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.

Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation.

The paper 'Constructing SAT Filters with a Quantum Annealer' is published open access under a CC BY-NC 2.5 license at link.springer.com.

Produktinformationen

Titel:	Theory and Applications of Satisfiability Testing -- SAT 2015
Untertitel:	18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Editor:	Marijn Heule Sean Weaver
EAN:	9783319243184
Digitaler Kopierschutz:	Wasserzeichen
Format:	E-Book (pdf)
Hersteller:	Springer International Publishing
Genre:	IT & Internet
Anzahl Seiten:	436
Veröffentlichung:	17.09.2015
Dateigrösse:	25.4 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Band 9320

Ihr Link zur Ex Libris-Reader-App

Theory and Applications of Satisfiability Testing -- SAT 2015

E-Book (pdf)

Beschreibung

Produktinformationen

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Cooperative Design, Visualization, and Engineering

Modeling Decisions for Artificial Intelligence

Frontiers of Combining Systems

Automated Reasoning with Analytic Tableaux and Related Methods

KI 2015: Advances in Artificial Intelligence

Programming Languages

Computer Security -- ESORICS 2015

Computer Security -- ESORICS 2015

Reachability Problems

Computational Collective Intelligence

Computational Collective Intelligence

Security and Trust Management

Chinese Lexical Semantics

Runtime Verification

Collaboration and Technology

Computational Logistics

AI*IA 2015 Advances in Artificial Intelligence

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Computer Information Systems and Industrial Management

Theory and Applications of Satisfiability Testing -- SAT 2015

The Semantic Web: ESWC 2015 Satellite Events

OpenMP: Heterogenous Execution and Data Movements

Case-Based Reasoning Research and Development

Model and Data Engineering

Logic Programming and Nonmonotonic Reasoning

Algorithmic Decision Theory

Relational and Algebraic Methods in Computer Science

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2015

Machine Learning in Medical Imaging

Entertainment Computing - ICEC 2015

Security, Privacy, and Applied Cryptography Engineering

Algorithmic Learning Theory

Discovery Science

Information and Communication Technology

Pattern Recognition

Symbiotic Interaction

Correct System Design

Cyber Physical Systems. Design, Modeling, and Evaluation

Beliebt

Neuerscheinungen

Schenken

Disney-Welten

Newsletter

Vorbestellen

Übersicht

Charts

Ex Libris Club

Hilfe

Über uns

Einfach zahlen mit

Folgen Sie uns