Tractability

Classical computer science textbooks tell us that some problems are 'hard'. Yet many areas, from machine learning and computer vision to theorem proving and software verification, have defined their own set of tools for effectively solving complex problems. Tractability provides an overvie...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Bordeaux, Lucas, Hamadi, Youssef, Kohli, Pushmeet
Format: E-Book
Sprache:English
Veröffentlicht: Cambridge Cambridge University Press 2014
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Search Result 1

Tractability

Veröffentlicht 2014
DE-12
DE-92
URL des Erstveröffentlichers
Elektronisch E-Book