NP-complete - PDFSEARCH.IO - Document Search Engine

NP-complete
Results: 1728

#	Item
511	ICS 161 — Algorithms — Winter 1998 — Final Exam Name: ID: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1998-11-13 18:59:50 NP-complete problems Mathematical optimization Analysis of algorithms Time complexity NP-complete Spreadsheet Approximation algorithm Algorithm Directed acyclic graph Theoretical computer science Applied mathematics Computational complexity theory
512	Mini-Indexes for Literate Programs Donald E. Knuth Computer Science Department, Stanford University, Stanford, CAUSA Abstract. This paper describes how to implement a documentation technique that helps reader Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:22:30 Literate programming Graph theory NP-complete problems CWEB TeX Graph Extensible Storage Engine Permanent Vertex Mathematics Software Computing
513	Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 0, no. 0, pp. 0–0 (0) Inapproximability of Orthogonal Compaction Michael J. Bannister David Eppstein Joseph A. Simons Computer Science Department, Add to Reading List Source URL: jgaa.info Language: English - Date: 2012-03-09 04:02:51 NP-complete problems Graph coloring Topological graph theory Angular resolution Eulerian path Planar graph Graph Edge coloring Petersen graph Graph theory Mathematics Graph drawing
514	Computational Experience with Hypergraph-based Methods for Automatic Decomposition in Discrete Optimization Jiadong Wang and Ted Ralphs Department of Industrial and Systems Engineering, Lehigh University, USA Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2012-12-26 15:36:44 Applied mathematics NP-complete problems Hypergraph Mathematical optimization Decomposition method Graph partition Dantzig–Wolfe decomposition Linear programming Block matrix Mathematics Theoretical computer science Operations research
515	Non-optimal Multi-Agent Pathfinding is Solved (SinceGabriele R¨oger and Malte Helmert University of Basel, Switzerland {gabriele.roeger,malte.helmert}@unibas.ch Abstract Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Games Pathfinding Fifteen puzzle Applied mathematics NP-complete problems Mathematics Game artificial intelligence
516	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
517	Computing Science TACKLING THE PARTNER UNITS CONFIGURATION PROBLEM Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:58 Induced path Graph Matroid theory Graph coloring NP-complete problems Pseudoforest Graph theory Graph operations Path decomposition
518	Introduction Power Domination Network and Attack Models Structural Controllability under Vertex Removal Conclusions and Future Work Add to Reading List Source URL: www.critis2013.nl Language: English - Date: 2013-09-21 17:44:33 Control theory Graph theory NP-complete problems Controllability Dominating set Vertex Graph Network theory Network controllability Mathematics Theoretical computer science Applied mathematics
519	cccg-cluster_visibility-2.dvi Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:19 NP-complete problems Art gallery problem Steiner tree problem Vertex Connectivity Pseudotriangle Tree Graph Dominating set Graph theory Mathematics Theoretical computer science
520	crosoft Word - 6455 2 Add to Reading List Source URL: www.icms.polyu.edu.hk Language: English - Date: 2010-09-25 04:18:22 Mathematics NP-complete problems Cybernetics Berth allocation problem Evolutionary algorithms Mathematical optimization Memetic algorithm Ant colony optimization algorithms Genetic algorithm Theoretical computer science Operations research Applied mathematics

UPDATE