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...

Full description

Saved in:
Bibliographic Details
Other Authors: Bordeaux, Lucas (Editor), Hamadi, Youssef (Computer science researcher) (Editor), Kohli, Pushmeet (Editor)
Format: eBook
Language:English
Published: Cambridge : Cambridge University Press, 2014.
Subjects:
Online Access:CONNECT
CONNECT