default search action

combined dblp search
author search
venue search
publication search

ask others

Tractability 2014

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/cu/BHK2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/BHK2014
Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli:
Tractability: Practical Approaches to Hard Problems. Cambridge University Press 2014, ISBN 9781139177801
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/X14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/X14
Introduction. xiii-xxii

Part 1 - Graphical Structure

- view
  authority control:
- export record
  dblp key:
  - books/cu/p/GottlobGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/GottlobGS14
Georg Gottlob, Gianluigi Greco, Francesco Scarcello:
Treewidth and Hypertree Width. 3-38
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Jebara14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Jebara14
Tony Jebara:
Perfect Graphs and Graphical Modeling. 39-68

Part 2 - Language Restrictions

- view
  authority control:
- export record
  dblp key:
  - books/cu/p/0001G14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/0001G14
Andreas Krause, Daniel Golovin:
Submodular Function Maximization. 71-104
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/JeavonsZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/JeavonsZ14
Peter G. Jeavons, Stanislav Zivný:
Tractable Valued Constraints. 105-140
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Darwiche14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Darwiche14
Adnan Darwiche:
Tractable Knowledge Representation Formalisms. 141-172

Part 3 - Algorithms and their Analysis

- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Kolmogorov14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Kolmogorov14
Vladimir Kolmogorov:
Tree-Reweighted Message Passing. 175-201
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Sra14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Sra14
Suvrit Sra:
Tractable Optimization in Machine Learning. 202-230
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/SinghT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/SinghT14
Mohit Singh, Kunal Talwar:
Approximation Algorithms. 231-259
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/FominS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/FominS14
Fedor V. Fomin, Saket Saurabh:
Kernelization Methods for Fixed-Parameter Tractability. 260-282

Part 4 - Tractability in Some Specific Areas

- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Kohli14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Kohli14
Pushmeet Kohli:
Efficient Submodular Function Minimization for Computer Vision. 285-303
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Dolecek14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Dolecek14
Lara Dolecek:
Towards Practical Graph-Based, Iteratively Decoded Channel Codes: Insights through Absorbing Sets. 304-328

Part 5 - Heuristics

- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Marques-SilvaL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Marques-SilvaL14
João Marques-Silva, Inês Lynce:
SAT Solvers. 331-349
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/BjornerM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/BjornerM14
Nikolaj S. Bjørner, Leonardo Mendonça de Moura:
Tractability and Modern Satisfiability Modulo Theories Solvers. 350-377

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.