<--- Back to Details
First PageDocument Content
Planar graphs / NP-complete problems / Tree decomposition / Minor / Apex graph / Graph / Clique-sum / Neighbourhood / Vertex cover / Graph theory / Theoretical computer science / Graph operations
Date: 2009-06-22 08:17:00
Planar graphs
NP-complete problems
Tree decomposition
Minor
Apex graph
Graph
Clique-sum
Neighbourhood
Vertex cover
Graph theory
Theoretical computer science
Graph operations

Local Search: Is Brute-Force Avoidable?

Add to Reading List

Source URL: ijcai.org

Download Document from Source Website

File Size: 494,64 KB

Share Document on Facebook

Similar Documents

Ng Kong Beng Public Lecture Series 黄光明公开讲座 For the past 40 years computer scientists generally believed that NP-complete problems are intractable. In particular, Boolean satisfiability (SAT), as a paradigma

DocID: 1udfk - View Document

Djinni 2.1 Approximating NP-Complete Problems, Fast Jeff Ohlmann, Barrett Thomas, Robert Hansen, Tristan Thiede Presented at OSCON 2006

DocID: 1tIrp - View Document

Graph theory / Mathematics / Search algorithms / Graph traversal / Breadth-first search / Vertex / NP-complete problems / Graph coloring / Planar graphs / Depth-first search

Using MVAPICH2-GDR for multi-GPU data parallel graph analytics T. James Lewis SYSTAP™, LLC © All Rights Reserved

DocID: 1rtvU - View Document

Theoretical computer science / Mathematics / Computational complexity theory / Operations research / Logic in computer science / Mathematical optimization / NP-complete problems / Boolean algebra / Maximum satisfiability problem / Boolean satisfiability problem / Constraint satisfaction / Solver

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

DocID: 1rsZm - View Document

Graph theory / Bipartite graphs / Planar graphs / Induced path / NP-complete problems / Parity graph

Induced paths of given parity in planar graphs Naomi Nishimura University of Waterloo Canada

DocID: 1rsEH - View Document