NP-complete - PDFSEARCH.IO - Document Search Engine

NP-complete
Results: 1728

#	Item
411	On Hardness of Pricing Items for Single-Minded Bidders∗ Rohit Khandekar Tracy Kimbrel Konstantin Makarychev Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:35 NP-complete problems Combinatorial optimization Graph connectivity Matching Maximum cut Directed acyclic graph Cut Bipartite graph Graph Graph theory Theoretical computer science Mathematics
412	Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-18 05:28:18 Set-builder notation Formal methods Logic in computer science NP-complete problems Mathematics Mathematical logic Multiset
413	NEW YORK CITY - MANHATTAN TRANSIT SIGNAL PRIORITY SYSTEM EVALUATION Lihua Zhang Lihua.Zhang@ transcore.com October 14 , 2014 Add to Reading List Source URL: transportation.njit.edu Language: English - Date: 2014-10-16 13:32:29 Second Avenue Line NP-complete problems Operations research Applied mathematics Network protocols Mathematics Econometrics software TSP Select Bus Service
414	On the Impact of Identifiers on Local Decision? Pierre Fraigniaud1?? , Magn´ us M. Halld´orsson2? ? ? , and Amos Korman∗∗ 1 2 Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2012-10-01 06:03:38 NP-complete problems Network flow Graph coloring Randomized algorithm Connectivity Flow network Distributed computing Modular decomposition Belief propagation Graph theory Theoretical computer science Mathematics
415	Better bounds for matchings in the streaming model Michael Kapralov∗ arXiv:1206.2269v2 [cs.DS] 26 JulDecember 6, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-12-06 12:53:09 NP-complete problems Combinatorial optimization Matching Degree Maximum flow problem Graph coloring Dominating set Mathematics Graph theory Theoretical computer science
416	Z3 Lab exercises Leonardo de Moura and Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {leonardo, nbjorner}@microsoft.com June 18, 2008 Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Computational complexity theory Recreational mathematics Z3 Gray code Eight queens puzzle Sudoku Constraint satisfaction Bit array Longest path problem Mathematics Theoretical computer science NP-complete problems
417	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
418	FlashGraph: Processing Billion-Node Graphs on an Array of Commodity SSDs Da Zheng, Disa Mhembere, Randal Burns, Joshua Vogelstein, Carey E. Priebe, and Alexander S. Szalay, Johns Hopkins University https://www.usenix.org Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-06-08 13:16:40 Graph Neighbourhood Connected component Adjacency list Vertex Adjacency matrix Process graph Graph coloring Edge coloring Graph theory Mathematics NP-complete problems
419	Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-12-16 08:35:37 Cybernetics Mathematical optimization NP-complete problems Formal methods Algorithm Genetic algorithm Ant colony optimization algorithms Evolutionary algorithm Computational complexity theory Applied mathematics Mathematics Theoretical computer science
420	MOVESAbstracts Plenary Talks Elwyn Berlekamp, University of California, Berkeley The Game of Amazons Abstract coming soon! John H. Conway, Princeton University Add to Reading List Source URL: momath.org Language: English - Date: 2015-06-03 09:13:46 Combinatorial game theory NP-complete problems Logic puzzles Mathematical game John Horton Conway Mathematical puzzle Combinatorics Polyomino Mechanical puzzle Mathematics Recreational mathematics Puzzles

UPDATE