Boolean Satisfiability (English)
- New search for: Kao, Ming-Yang
- New search for: Kao, Ming-Yang
In:
Encyclopedia of Algorithms
;
97
;
2008
- Article/Chapter (Book) / Electronic Resource
-
Title:Boolean Satisfiability
-
Contributors:Kao, Ming-Yang ( author )
-
Published in:
-
Publisher:
- New search for: Springer US
-
Place of publication:Boston, MA
-
Publication date:2008-01-01
-
Size:1 pages
-
ISBN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Abelian Hidden Subgroup ProblemMosca, Michele et al. | 2008
- 4
-
Adaptive PartitionsDeng, Ping / Wu, Weili / Shragowitz, Eugene et al. | 2008
- 7
-
Adwords PricingBu, Tian-Ming et al. | 2008
- 7
-
Ad-Hoc NetworksKao, Ming-Yang et al. | 2008
- 7
-
Adword AuctionKao, Ming-Yang et al. | 2008
- 9
-
Algorithm DC-Tree for k Servers on TreesChrobak, Marek et al. | 2008
- 9
-
AgreementKao, Ming-Yang et al. | 2008
- 11
-
Algorithmic CoolingMor, Tal et al. | 2008
- 16
-
Algorithmic Mechanism DesignLavi, Ron et al. | 2008
- 25
-
Algorithms for Spanners in Weighted GraphsBaswana, Surender / Sen, Sandeep et al. | 2008
- 28
-
All Pairs Shortest Paths in Sparse GraphsPettie, Seth et al. | 2008
- 31
-
All Pairs Shortest Paths via Matrix MultiplicationTakaoka, Tadao et al. | 2008
- 34
-
Alternative Performance Measures in Online AlgorithmsFeuerstein, Esteban et al. | 2008
- 37
-
Analyzing Cache MissesRahman, Naila et al. | 2008
- 40
-
Applications of Geometric Spanner NetworksGudmundsson, Joachim / Narasimhan, Giri / Smid, Michiel et al. | 2008
- 43
-
Approximate DictionariesSrinivasan, Venkatesh et al. | 2008
- 46
-
Approximate Maximum Flow ConstructionKao, Ming-Yang et al. | 2008
- 46
-
Approximate Regular Expression MatchingNavarro, Gonzalo et al. | 2008
- 46
-
Approximate Nash EquilibriumKao, Ming-Yang et al. | 2008
- 46
-
Approximate PeriodicitiesKao, Ming-Yang et al. | 2008
- 46
-
Approximate Dictionary MatchingKao, Ming-Yang et al. | 2008
- 46
-
Approximate MembershipKao, Ming-Yang et al. | 2008
- 48
-
Approximate Tandem RepeatsKucherov, Gregory / Sokol, Dina et al. | 2008
- 48
-
Approximate RepetitionsKao, Ming-Yang et al. | 2008
- 51
-
Approximating Metric Spaces by Tree MetricsFakcharoenphol, Jittat / Rao, Satish / Talwar, Kunal et al. | 2008
- 53
-
Approximation AlgorithmKao, Ming-Yang et al. | 2008
- 53
-
Approximations of Bimatrix Nash EquilibriaKontogiannis, Spyros / Panagopoulou, Panagiota / Spirakis, Paul et al. | 2008
- 53
-
Approximation AlgorithmsKao, Ming-Yang et al. | 2008
- 53
-
Approximation Algorithm DesignKao, Ming-Yang et al. | 2008
- 53
-
Approximation Algorithms in Planar GraphsKao, Ming-Yang et al. | 2008
- 57
-
Approximation Schemes for Bin PackingBansal, Nikhil et al. | 2008
- 59
-
Approximation Schemes for Planar Graph ProblemsDemaine, Erik D. / Hajiaghayi, MohammadTaghi et al. | 2008
- 62
-
Arbitrage in Frictional Foreign Exchange MarketCai, Mao-cheng / Deng, Xiaotie et al. | 2008
- 65
-
Arithmetic Coding for Data CompressionHoward, Paul G. / Vitter, Jeffrey Scott et al. | 2008
- 68
-
Assignment ProblemKhuller, Samir et al. | 2008
- 70
-
Asynchronous Consensus ImpossibilityHerlihy, Maurice et al. | 2008
- 73
-
Atomic BroadcastDéfago, Xavier et al. | 2008
- 76
-
Atomic Network Congestion GamesKao, Ming-Yang et al. | 2008
- 76
-
AtomicityKao, Ming-Yang et al. | 2008
- 76
-
Atomic MulticastKao, Ming-Yang et al. | 2008
- 77
-
Attribute-Efficient LearningKivinen, Jyrki et al. | 2008
- 77
-
Atomic Selfish FlowsKao, Ming-Yang et al. | 2008
- 77
-
Atomic ScanKao, Ming-Yang et al. | 2008
- 78
-
Automated Search Tree GenerationHüffner, Falk et al. | 2008
- 83
-
Backtracking Based k-SAT AlgorithmsPaturi, Ramamohan / Pudlák, Pavel / Saks, Michael / Zane, Francis et al. | 2008
- 86
-
Best Response Algorithms for Selfish RoutingSpirakis, Paul et al. | 2008
- 88
-
BidimensionalityDemaine, Erik D. / Hajiaghayi, MohammadTaghi et al. | 2008
- 90
-
Binary Decision GraphPrakash, Amit / Aziz, Adnan et al. | 2008
- 94
-
Bin PackingJohnson, David S. et al. | 2008
- 97
-
Block Edit DistanceKao, Ming-Yang et al. | 2008
- 97
-
Boolean FormulasKao, Ming-Yang et al. | 2008
- 97
-
Boolean SatisfiabilityKao, Ming-Yang et al. | 2008
- 97
-
Boosting Textual CompressionFerragina, Paolo / Manzini, Giovanni et al. | 2008
- 97
-
Block-Sorting Data CompressionKao, Ming-Yang et al. | 2008
- 101
-
Branchwidth of GraphsFomin, Fedor / Thilikos, Dimitrios et al. | 2008
- 105
-
Broadcasting in Geometric Radio NetworksPelc, Andrzej et al. | 2008
- 108
-
B-treesVahrenhold, Jan et al. | 2008
- 112
-
Burrows–Wheeler TransformFerragina, Paolo / Manzini, Giovanni et al. | 2008
- 112
-
BufferingKao, Ming-Yang et al. | 2008
- 116
-
Byzantine AgreementOkun, Michael et al. | 2008
- 121
-
Cache-Oblivious B-TreeFagerberg, Rolf et al. | 2008
- 123
-
Cache-Oblivious ModelFagerberg, Rolf et al. | 2008
- 126
-
Cache-Oblivious SortingStølting Brodal, Gerth et al. | 2008
- 129
-
CachingKao, Ming-Yang et al. | 2008
- 129
-
Causal Order, Logical Clocks, State Machine ReplicationDéfago, Xavier et al. | 2008
- 131
-
Certificate Complexity and Exact LearningHellerstein, Lisa et al. | 2008
- 134
-
Channel Assignment and Routing in Multi-Radio Wireless Mesh NetworksAlicherry, Mansoor / Bhatia, Randeep / Li, Li (Erran) et al. | 2008
- 138
-
Circuit Partitioning: A Network-Flow-Based Balanced Min-Cut ApproachYang, Honghua Hannah / Wong, Martin D. F. et al. | 2008
- 143
-
Circuit PlacementKennings, Andrew A. / Markov, Igor L. et al. | 2008
- 146
-
Circuit RetimingZhou, Hai et al. | 2008
- 149
-
Circuit Retiming: An Incremental ApproachZhou, Hai et al. | 2008
- 152
-
Clock SynchronizationPatt-Shamir, Boaz et al. | 2008
- 155
-
Closest String and Substring ProblemsWang, Lusheng et al. | 2008
- 156
-
Closest SubstringGramm, Jens et al. | 2008
- 158
-
Color CodingAlon, Noga / Yuster, Raphael / Zwick, Uri et al. | 2008
- 158
-
ClusteringKao, Ming-Yang et al. | 2008
- 161
-
Communication in Ad Hoc Mobile Networks Using Random WalksChatzigiannakis, Ioannis et al. | 2008
- 165
-
Competitive AuctionBu, Tian-Ming et al. | 2008
- 166
-
Complexity of Bimatrix Nash EquilibriaChen, Xi / Deng, Xiaotie et al. | 2008
- 168
-
Complexity of CoreFang, Qizhi et al. | 2008
- 171
-
Compressed Pattern MatchingTakeda, Masayuki et al. | 2008
- 174
-
Compressed Suffix ArrayMäkinen, Veli et al. | 2008
- 176
-
Compressed Text IndexingMäkinen, Veli / Navarro, Gonzalo et al. | 2008
- 178
-
Compressing Integer Sequences and SetsMoffat, Alistair et al. | 2008
- 183
-
Computing Pure Equilibria in the Game of Parallel LinksKontogiannis, Spyros et al. | 2008
- 183
-
CompressionKao, Ming-Yang et al. | 2008
- 183
-
Computational LearningKao, Ming-Yang et al. | 2008
- 188
-
Concurrent Programming, Mutual ExclusionTaubenfeld, Gadi et al. | 2008
- 191
-
Connected Dominating SetCheng, Xiuzhen / Wang, Feng / Du, Ding-Zhu et al. | 2008
- 195
-
Connectivity and Fault-Tolerance in Random Regular GraphsNikoletseas, Sotiris et al. | 2008
- 198
-
Consensus with Partial SynchronyCharron-Bost, Bernadette / Schiper, André et al. | 2008
- 202
-
Constructing a Galled Phylogenetic NetworkSung, Wing-Kin et al. | 2008
- 205
-
Coordination RatioKao, Ming-Yang et al. | 2008
- 205
-
CPU Time PricingHuang, Li-Sha et al. | 2008
- 207
-
Critical Range for Wireless NetworksYi, Chih-Wei et al. | 2008
- 210
-
Cryptographic Hardness of LearningKlivans, Adam et al. | 2008
- 212
-
Cuckoo HashingPagh, Rasmus et al. | 2008
- 217
-
Data MigrationKim, Yoo-Ah et al. | 2008
- 220
-
Data Reduction for Domination in GraphsNiedermeier, Rolf et al. | 2008
- 222
-
Decoding Reed–Solomon CodesGuruswami, Venkatesan et al. | 2008
- 222
-
DecodingKao, Ming-Yang et al. | 2008
- 226
-
Decremental All-Pairs Shortest PathsDemetrescu, Camil / Italiano, Giuseppe F. et al. | 2008
- 228
-
Degree-Bounded Planar Spanner with Low WeightSong, Wen-Zhan / Li, Xiang-Yang / Wang, Weizhao et al. | 2008
- 231
-
Degree-Bounded TreesFürer, Martin et al. | 2008
- 233
-
Deterministic Broadcasting in Radio NetworksGąsieniec, Leszek et al. | 2008
- 235
-
Deterministic Searching on the LineBaeza-Yates, Ricardo et al. | 2008
- 236
-
DetourKao, Ming-Yang et al. | 2008
- 236
-
Dictionary-Based Data CompressionGagie, Travis / Manzini, Giovanni et al. | 2008
- 240
-
Dictionary Matching and Indexing (Exact and with Errors)Lewenstein, Moshe et al. | 2008
- 244
-
DilationKao, Ming-Yang et al. | 2008
- 244
-
Dilation of Geometric NetworksKlein, Rolf et al. | 2008
- 246
-
Directed Perfect Phylogeny (Binary Characters)Jansson, Jesper et al. | 2008
- 248
-
Direct Routing AlgorithmsBusch, Costas et al. | 2008
- 251
-
Distance-Based Phylogeny Reconstruction (Fast-Converging)Csűrös, Miklós et al. | 2008
- 253
-
Distance-Based Phylogeny Reconstruction (Optimal Radius)Desper, Richard / Gascuel, Olivier et al. | 2008
- 256
-
Distributed Algorithms for Minimum Spanning TreesRajsbaum, Sergio et al. | 2008
- 258
-
Distributed Vertex ColoringDubhashi, Devdatt et al. | 2008
- 258
-
Distributed ComputingKao, Ming-Yang et al. | 2008
- 260
-
Dynamic ProblemsKao, Ming-Yang et al. | 2008
- 260
-
Dominating SetKao, Ming-Yang et al. | 2008
- 260
-
Dynamic TreesWerneck, Renato F. et al. | 2008
- 265
-
Edit Distance Under Block OperationsSahinalp, S. Cenk et al. | 2008
- 267
-
Efficient Methods for Multiple Sequence Alignment with Guaranteed Error BoundsChin, Francis / Yiu, S. M. et al. | 2008
- 270
-
Engineering Algorithms for Computational BiologyBader, David A. et al. | 2008
- 272
-
Engineering Algorithms for Large Network ApplicationsZaroliagis, Christos et al. | 2008
- 274
-
Engineering Geometric AlgorithmsHalperin, Dan et al. | 2008
- 278
-
Equivalence Between Priority Queues and SortingChowdhury, Rezaul A. et al. | 2008
- 281
-
Error CorrectionKao, Ming-Yang et al. | 2008
- 281
-
Euclidean Traveling Salesperson ProblemCzumaj, Artur et al. | 2008
- 281
-
Error-Control Codes, Reed–Muller CodeKao, Ming-Yang et al. | 2008
- 281
-
Euclidean Graphs and TreesKao, Ming-Yang et al. | 2008
- 284
-
Exact Algorithms for Dominating SetKratsch, Dieter et al. | 2008
- 286
-
Exact Algorithms for General CNF SATHirsch, Edward A. et al. | 2008
- 289
-
Exact Graph Coloring Using Inclusion–ExclusionBjörklund, Andreas / Husfeldt, Thore et al. | 2008
- 290
-
Experimental Methods for Algorithm AnalysisMcGeoch, Catherine C. et al. | 2008
- 291
-
External MemoryKao, Ming-Yang et al. | 2008
- 291
-
External Sorting and PermutingVitter, Jeffrey Scott et al. | 2008
- 297
-
Extremal ProblemsKao, Ming-Yang et al. | 2008
- 299
-
Facility LocationAardal, Karen / Byrka, Jaroslaw / Mahdian, Mohammad et al. | 2008
- 304
-
Failure DetectorsGuerraoui, Rachid et al. | 2008
- 308
-
False-Name-Proof AuctionYokoo, Makoto et al. | 2008
- 310
-
Fast Minimal TriangulationVillanger, Yngve et al. | 2008
- 313
-
Fault-Tolerant Quantum ComputationReichardt, Ben W. et al. | 2008
- 316
-
File Caching and SharingKao, Ming-Yang et al. | 2008
- 317
-
Floorplan and PlacementKajitani, Yoji et al. | 2008
- 320
-
Flow Time MinimizationBecchetti, Luca / Leonardi, Stefano / Marchetti-Spaccamela, Alberto / Pruhs, Kirk et al. | 2008
- 322
-
Formal MethodsKao, Ming-Yang et al. | 2008
- 322
-
FPGA Technology MappingCong, Jason / Ding, Yuzheng et al. | 2008
- 326
-
Fractional Packing and Covering ProblemsKarakostas, George et al. | 2008
- 329
-
Full-Text Index ConstructionKao, Ming-Yang et al. | 2008
- 329
-
Fully Dynamic All Pairs Shortest PathsItaliano, Giuseppe F. et al. | 2008
- 331
-
Fully Dynamic ConnectivityKing, Valerie et al. | 2008
- 332
-
Fully Dynamic Connectivity: Upper and Lower BoundsItaliano, Giuseppe F. et al. | 2008
- 335
-
Fully Dynamic Higher ConnectivityItaliano, Giuseppe F. et al. | 2008
- 337
-
Fully Dynamic Higher Connectivity for Planar GraphsItaliano, Giuseppe F. et al. | 2008
- 339
-
Fully Dynamic Minimum Spanning TreesItaliano, Giuseppe F. et al. | 2008
- 342
-
Fully Dynamic Planarity TestingItaliano, Giuseppe F. et al. | 2008
- 343
-
Fully Dynamic Transitive ClosureKing, Valerie et al. | 2008
- 345
-
Gate SizingSundararajan, Vijay et al. | 2008
- 347
-
General EquilibriumHuang, Li-Sha et al. | 2008
- 349
-
Generalized Steiner NetworkChuzhoy, Julia et al. | 2008
- 351
-
Generalized Two-Server ProblemSitters, René A. et al. | 2008
- 353
-
Generalized Vickrey AuctionYokoo, Makoto et al. | 2008
- 355
-
Geographic RoutingZollinger, Aaron et al. | 2008
- 358
-
Geometric Dilation of Geometric NetworksKlein, Rolf et al. | 2008
- 358
-
Geometric ComputingKao, Ming-Yang et al. | 2008
- 360
-
Geometric SpannersGudmundsson, Joachim / Narasimhan, Giri / Smid, Michiel et al. | 2008
- 364
-
Gomory–Hu TreesPanigrahi, Debmalya et al. | 2008
- 366
-
Graph BandwidthLee, James R. et al. | 2008
- 368
-
Graph ColoringLangberg, Michael et al. | 2008
- 371
-
Graph ConnectivityKhuller, Samir / Raghavachari, Balaji et al. | 2008
- 373
-
Graph IsomorphismMcKay, Brendan D. et al. | 2008
- 376
-
Greedy Approximation AlgorithmsWang, Feng / Wu, Weili et al. | 2008
- 376
-
GraphsKao, Ming-Yang et al. | 2008
- 379
-
Greedy Set-Cover AlgorithmsYoung, Neal E. et al. | 2008
- 383
-
Hamilton Cycles in Random Intersection GraphsEfthymiou, Charilaos / Spirakis, Paul et al. | 2008
- 385
-
Hardness of Proper LearningFeldman, Vitaly et al. | 2008
- 387
-
High Performance Algorithm Engineering for Large-scale ProblemsBader, David A. et al. | 2008
- 390
-
Hospitals/Residents ProblemManlove, David F. et al. | 2008
- 390
-
Hitting SetKao, Ming-Yang et al. | 2008
- 395
-
Implementation Challenge for Shortest PathsDemetrescu, Camil / Goldberg, Andrew V. / Johnson, David S. et al. | 2008
- 398
-
Implementation Challenge for TSP HeuristicsMcGeoch, Lyle A. et al. | 2008
- 400
-
Implementing Shared Registers in Asynchronous Message-Passing SystemsRuppert, Eric et al. | 2008
- 403
-
Incentive Compatible SelectionChen, Xi / Deng, Xiaotie et al. | 2008
- 403
-
Incentive Compatible AlgorithmsKao, Ming-Yang et al. | 2008
- 405
-
Independent Sets in Random Intersection GraphsNikoletseas, Sotiris / Raptopoulos, Christoforos / Spirakis, Paul et al. | 2008
- 405
-
Incremental AlgorithmsKao, Ming-Yang et al. | 2008
- 408
-
Indexed Approximate String MatchingSung, Wing-Kin et al. | 2008
- 411
-
Inductive InferenceZilles, Sandra et al. | 2008
- 413
-
I/O-modelZeh, Norbert et al. | 2008
- 417
-
Kinetic Data StructuresSpeckmann, Bettina et al. | 2008
- 419
-
KnapsackKellerer, Hans et al. | 2008
- 423
-
Learning with the Aid of an OracleTamon, Christino et al. | 2008
- 425
-
Learning AutomataBeimel, Amos / Bergadano, Francesco / Bshouty, Nader H. / Kushilevitz, Eyal / Varricchio, Stefano et al. | 2008
- 429
-
Learning Constant-Depth CircuitsServedio, Rocco et al. | 2008
- 431
-
Learning DNF FormulasJackson, Jeffrey C. et al. | 2008
- 434
-
Learning Heavy Fourier Coefficients of Boolean FunctionsTrevisan, Luca et al. | 2008
- 436
-
Learning with Malicious NoiseAuer, Peter et al. | 2008
- 438
-
Learning Significant Fourier Coefficients over Finite Abelian GroupsAkavia, Adi et al. | 2008
- 442
-
LEDA: a Library of Efficient AlgorithmsZaroliagis, Christos et al. | 2008
- 444
-
Leontief Economy EquilibriumYe, Yin-Yu et al. | 2008
- 446
-
Linearity Testing/Testing Hadamard CodesRubinfeld, Ronitt et al. | 2008
- 450
-
LinearizabilityHerlihy, Maurice et al. | 2008
- 453
-
List Decoding near Capacity: Folded RS CodesRudra, Atri et al. | 2008
- 455
-
List SchedulingEpstein, Leah et al. | 2008
- 457
-
Load BalancingEpstein, Leah et al. | 2008
- 459
-
Local Alignment (with Affine Gap Weights)Altschul, Stephen F. / Erickson, Bruce W. / Leung, Henry et al. | 2008
- 461
-
Local Alignment (with Concave Gap Weights)Yiu, S. M. et al. | 2008
- 463
-
Local Approximation of Covering and Packing ProblemsKuhn, Fabian et al. | 2008
- 466
-
Local Computation in Unstructured Radio NetworksMoscibroda, Thomas et al. | 2008
- 468
-
Local Search Algorithms for kSATIwama, Kazuo et al. | 2008
- 470
-
Local Search for K-medians and Facility LocationMunagala, Kamesh et al. | 2008
- 473
-
Lower Bounds for Dynamic ConnectivityPătraşcu, Mihai et al. | 2008
- 473
-
Location-Based RoutingKao, Ming-Yang et al. | 2008
- 477
-
Low Stretch Spanning TreesElkin, Michael et al. | 2008
- 478
-
LP DecodingFeldman, Jonathan et al. | 2008
- 483
-
Majority EquilibriumFang, Qizhi et al. | 2008
- 485
-
Market Games and Content DistributionMirrokni, Vahab S. et al. | 2008
- 489
-
Max CutNewman, Alantha et al. | 2008
- 492
-
Maximum Agreement Subtree (of 2 Binary Trees)Hariharan, Ramesh et al. | 2008
- 495
-
Maximum Agreement Subtree (of 3 or More Trees)Przytycka, Teresa M. et al. | 2008
- 497
-
Maximum Agreement SupertreeSung, Wing-Kin et al. | 2008
- 499
-
Maximum Compatible TreeBerry, Vincent et al. | 2008
- 502
-
Maximum-Density SegmentChao, Kun-Mao et al. | 2008
- 504
-
Maximum MatchingMucha, Marcin et al. | 2008
- 506
-
Maximum-scoring Segment with Length RestrictionsChao, Kun-Mao et al. | 2008
- 507
-
Maximum Two-SatisfiabilityWilliams, Ryan et al. | 2008
- 511
-
Max Leaf Spanning TreeRosamond, Frances et al. | 2008
- 514
-
Metrical Task SystemsMendel, Manor et al. | 2008
- 517
-
Metric TSPBläser, Markus et al. | 2008
- 519
-
Minimum BisectionKrauthgamer, Robert et al. | 2008
- 522
-
Minimum Congestion Redundant AssignmentsFotakis, Dimitris / Spirakis, Paul et al. | 2008
- 526
-
Minimum Energy Broadcasting in Wireless Geometric NetworksAmbühl, Christoph et al. | 2008
- 528
-
Minimum Energy Cost Broadcasting in Wireless NetworksWan, Peng-Jun / Li, Xiang-Yang / Frieder, Ophir et al. | 2008
- 531
-
Minimum Flow TimeBansal, Nikhil et al. | 2008
- 533
-
Minimum Geometric Spanning TreesLevcopoulos, Christos et al. | 2008
- 536
-
Minimum k-Connected Geometric NetworksCzumaj, Artur / Lingas, Andrzej et al. | 2008
- 539
-
Minimum Makespan on Unrelated MachinesSviridenko, Maxim et al. | 2008
- 541
-
Minimum Spanning TreesPettie, Seth et al. | 2008
- 544
-
Minimum Weighted Completion TimeKumar, V.S. Anil / Marathe, Madhav V. / Parthasarathy, Srinivasan / Srinivasan, Aravind et al. | 2008
- 546
-
Minimum Weight TriangulationLevcopoulos, Christos et al. | 2008
- 548
-
Mobile Agents and ExplorationKranakis, Evangelos / Krizanc, Danny et al. | 2008
- 551
-
MSTKao, Ming-Yang et al. | 2008
- 551
-
Multicommodity Flow, Well-linked Terminals and Routing ProblemsChekuri, Chandra et al. | 2008
- 554
-
MulticutChawla, Shuchi et al. | 2008
- 556
-
Multidimensional Compressed Pattern MatchingAmir, Amihood et al. | 2008
- 559
-
Multidimensional String MatchingKärkkäinen, Juha / Ukkonen, Esko et al. | 2008
- 562
-
Multi-level Feedback QueuesBansal, Nikhil et al. | 2008
- 562
-
Multi-Hop Radio Networks, Ad Hoc NetworksKao, Ming-Yang et al. | 2008
- 563
-
Multiple Unit Auctions with Budget ConstraintBu, Tian-Ming et al. | 2008
- 563
-
Multiple String AlignmentKao, Ming-Yang et al. | 2008
- 565
-
Multiplex PCR for Gap Closing (Whole-genome Assembly)Asodi, Vera et al. | 2008
- 567
-
Multiway CutCalinescu, Gruia et al. | 2008
- 571
-
Nash Equilibria and Dominant Strategies in RoutingWang, Weizhao / Li, Xiang-Yang / Chu, Xiaowen et al. | 2008
- 573
-
Nearest Neighbor Interchange and Related DistancesDasGupta, Bhaskar / He, Xin / Jiang, Tao / Li, Ming / Tromp, John / Zhang, Louxin et al. | 2008
- 573
-
NavigationKao, Ming-Yang et al. | 2008
- 576
-
Negative Cycles in Weighted DigraphsZaroliagis, Christos et al. | 2008
- 578
-
Non-approximability of Bimatrix Nash EquilibriaChen, Xi / Deng, Xiaotie et al. | 2008
- 579
-
Non-shared EdgesHon, Wing-Kai et al. | 2008
- 581
-
NucleolusFang, Qizhi et al. | 2008
- 585
-
Oblivious RoutingBansal, Nikhil et al. | 2008
- 588
-
Obstacle Avoidance Algorithms in Wireless Sensor NetworksNikoletseas, Sotiris / Powell, Olivier et al. | 2008
- 592
-
O(log log n)‐competitive Binary Search TreeWang, Chengwen Chris et al. | 2008
- 594
-
Online Interval ColoringEpstein, Leah et al. | 2008
- 598
-
Online List UpdateAlbers, Susanne et al. | 2008
- 598
-
Online LearningKao, Ming-Yang et al. | 2008
- 601
-
Online Paging and CachingYoung, Neal E. et al. | 2008
- 604
-
Optimal Probabilistic Synchronous Byzantine AgreementGaray, Juan et al. | 2008
- 604
-
Online SchedulingKao, Ming-Yang et al. | 2008
- 606
-
Optimal RadiusKao, Ming-Yang et al. | 2008
- 606
-
Optimal Stable MarriageIrving, Robert W. et al. | 2008
- 611
-
P2PMalkhi, Dahlia et al. | 2008
- 616
-
Packet RoutingCowen, Lenore J. et al. | 2008
- 618
-
Packet Switching in Multi-Queue SwitchesSchmidt, Markus et al. | 2008
- 621
-
Packet Switching in Single BufferStee, Rob van et al. | 2008
- 622
-
PAC LearningRatsaby, Joel et al. | 2008
- 624
-
PageRank AlgorithmHenzinger, Monika et al. | 2008
- 625
-
PagingStee, Rob van et al. | 2008
- 627
-
Parallel Algorithms for Two Processors Precedence Constraint SchedulingSerna, Maria et al. | 2008
- 629
-
Parallel Connectivity and Minimum Spanning TreesLam, Tak-Wah et al. | 2008
- 631
-
Parameterized Algorithms for Drawing GraphsFernau, Henning et al. | 2008
- 635
-
Parameterized MatchingLewenstein, Moshe et al. | 2008
- 639
-
Parameterized SATSzeider, Stefan et al. | 2008
- 640
-
Peptide De Novo Sequencing with MS/MSMa, Bin et al. | 2008
- 640
-
Peer to PeerKao, Ming-Yang et al. | 2008
- 640
-
Pattern MatchingKao, Ming-Yang et al. | 2008
- 642
-
Perceptron AlgorithmShalev-Shwartz, Shai et al. | 2008
- 644
-
Perfect Phylogeny (Bounded Number of States)Jansson, Jesper et al. | 2008
- 647
-
Perfect Phylogeny HaplotypingLancia, Giuseppe et al. | 2008
- 650
-
Performance-Driven ClusteringRajaraman, Rajmohan et al. | 2008
- 650
-
Performance AnalysisKao, Ming-Yang et al. | 2008
- 651
-
Phylogenetic Tree Construction from a Distance MatrixJansson, Jesper et al. | 2008
- 653
-
Phylogeny ReconstructionKao, Ming-Yang et al. | 2008
- 653
-
Planar Geometric SpannersGudmundsson, Joachim / Narasimhan, Giri / Smid, Michiel et al. | 2008
- 656
-
Planarity TestingBorradaile, Glencora et al. | 2008
- 657
-
Point Pattern MatchingMäkinen, Veli / Ukkonen, Esko et al. | 2008
- 660
-
Position AuctionSun, Aries Wei et al. | 2008
- 661
-
Predecessor SearchPătraşcu, Mihai et al. | 2008
- 665
-
Price of AnarchyChristodoulou, George et al. | 2008
- 667
-
Price of Anarchy for Machines ModelsCzumaj, Artur / Vöcking, Berthold et al. | 2008
- 671
-
Probabilistic Data Forwarding in Wireless Sensor NetworksNikoletseas, Sotiris et al. | 2008
- 677
-
Quantization of Markov ChainsRichter, Peter / Szegedy, Mario et al. | 2008
- 680
-
Quantum Algorithm for Checking Matrix IdentitiesNayak, Ashwin et al. | 2008
- 682
-
Quantum Algorithm for the Collision ProblemTapp, Alain et al. | 2008
- 683
-
Quantum Algorithm for the Discrete Logarithm ProblemSen, Pranab et al. | 2008
- 686
-
Quantum Algorithm for Element DistinctnessAmbainis, Andris et al. | 2008
- 689
-
Quantum Algorithm for FactoringHallgren, Sean et al. | 2008
- 690
-
Quantum Algorithm for Finding TrianglesRichter, Peter et al. | 2008
- 693
-
Quantum Algorithm for the Parity ProblemShi, Yaoyun et al. | 2008
- 694
-
Quantum Algorithms for Class Group of a Number FieldHallgren, Sean et al. | 2008
- 696
-
Quantum Algorithm for Search on GridsAmbainis, Andris et al. | 2008
- 698
-
Quantum Algorithm for Solving the Pell’s EquationHallgren, Sean et al. | 2008
- 700
-
Quantum Approximation of the Jones PolynomialLandau, Zeph et al. | 2008
- 703
-
Quantum Dense CodingTerhal, Barbara M. et al. | 2008
- 705
-
Quantum Error CorrectionRötteler, Martin et al. | 2008
- 708
-
Quantum Key DistributionRenner, Renato et al. | 2008
- 712
-
Quantum SearchGrover, Lov K. / Reichardt, Ben W. et al. | 2008
- 715
-
Quickest RouteKao, Ming-Yang et al. | 2008
- 715
-
QuorumsMalkhi, Dahlia et al. | 2008
- 721
-
Radiocoloring in Planar GraphsPapadopoulou, Vicky et al. | 2008
- 723
-
Randomization in Distributed ComputingChandra, Tushar Deepak et al. | 2008
- 725
-
Randomized Broadcasting in Radio NetworksItai, Alon et al. | 2008
- 728
-
Randomized Energy Balance Algorithms in Sensor NetworksLeone, Pierre / Nikoletseas, Sotiris / Rolim, José et al. | 2008
- 731
-
Randomized Gossiping in Radio NetworksGąsieniec, Leszek et al. | 2008
- 732
-
Randomized Minimum Spanning TreeRamachandran, Vijaya et al. | 2008
- 734
-
Randomized Parallel Approximations to Max FlowSerna, Maria et al. | 2008
- 737
-
Randomized RoundingRajaraman, Rajmohan et al. | 2008
- 740
-
Randomized Searching on Rays or the LineTate, Stephen R. et al. | 2008
- 742
-
Random Planted 3-SATFlaxman, Abraham et al. | 2008
- 742
-
Random Number GenerationKao, Ming-Yang et al. | 2008
- 744
-
Ranked MatchingTelikepalli, Kavitha et al. | 2008
- 748
-
Rank and Select Operations on Binary StringsRahman, Naila / Raman, Rajeev et al. | 2008
- 751
-
Rate Adjustment and AllocationKao, Ming-Yang et al. | 2008
- 751
-
Rate-Monotonic SchedulingFisher, Nathan / Baruah, Sanjoy et al. | 2008
- 754
-
Rectilinear Spanning TreeZhou, Hai et al. | 2008
- 754
-
Real-Time SystemsKao, Ming-Yang et al. | 2008
- 757
-
Rectilinear Steiner TreeZhou, Hai et al. | 2008
- 761
-
RegistersVitányi, Paul et al. | 2008
- 764
-
Regular Expression IndexingChan, Chee-Yong / Garofalakis, Minos / Rastogi, Rajeev et al. | 2008
- 768
-
Regular Expression MatchingIlie, Lucian et al. | 2008
- 771
-
Reinforcement LearningEven-Dar, Eyal et al. | 2008
- 774
-
RenamingHerlihy, Maurice et al. | 2008
- 777
-
Reversal DistanceKao, Ming-Yang et al. | 2008
- 777
-
Response TimeKao, Ming-Yang et al. | 2008
- 777
-
RNA Secondary Structure Boltzmann DistributionLyngsø, Rune B. et al. | 2008
- 780
-
RNA Secondary Structure Prediction Including PseudoknotsLyngsø, Rune B. et al. | 2008
- 782
-
RNA Secondary Structure Prediction by Minimum Free EnergyLyngsø, Rune B. et al. | 2008
- 785
-
RoboticsFleischer, Rudolf et al. | 2008
- 788
-
Robust Geometric ComputationYap, Chee K. / Sharma, Vikram et al. | 2008
- 791
-
RobustnessKao, Ming-Yang et al. | 2008
- 791
-
RoutingBékési, József / Galambos, Gábor et al. | 2008
- 793
-
Routing in Geometric NetworksGąsieniec, Leszek / Su, Chang / Wong, Prudence et al. | 2008
- 796
-
Routing in Road Networks with Transit NodesSchultes, Dominik et al. | 2008
- 800
-
R-TreesYi, Ke et al. | 2008
- 802
-
RunsKao, Ming-Yang et al. | 2008
- 803
-
Schedulers for Optimistic Rate Based Flow ControlFatourou, Panagiota et al. | 2008
- 806
-
Scheduling with EquipartitionEdmonds, Jeff et al. | 2008
- 809
-
Scheduling with Unknown Job SizesKao, Ming-Yang et al. | 2008
- 809
-
SearchingKao, Ming-Yang et al. | 2008
- 810
-
Selfish Unsplittable Flows: Algorithms for Pure EquilibriaSpirakis, Paul et al. | 2008
- 812
-
Self-StabilizationHerman, Ted et al. | 2008
- 815
-
Separators in GraphsKonjevod, Goran et al. | 2008
- 818
-
Sequential Approximate String MatchingNavarro, Gonzalo et al. | 2008
- 820
-
Sequential Circuit Technology MappingPan, Peichen et al. | 2008
- 824
-
Sequential Exact String MatchingCrochemore, Maxime / Lecroq, Thierry et al. | 2008
- 826
-
Sequential Multiple String MatchingCrochemore, Maxime / Lecroq, Thierry et al. | 2008
- 829
-
Set AgreementRaynal, Michel et al. | 2008
- 832
-
Set Cover with Almost Consecutive OnesDom, Michael et al. | 2008
- 834
-
Shortest Elapsed Time First SchedulingBansal, Nikhil et al. | 2008
- 837
-
Shortest PathKao, Ming-Yang et al. | 2008
- 837
-
Shortest Paths Approaches for Timetable InformationJacob, Riko et al. | 2008
- 838
-
Shortest Paths in Planar Graphs with Negative Weight EdgesFakcharoenphol, Jittat / Rao, Satish et al. | 2008
- 841
-
Shortest RouteKao, Ming-Yang et al. | 2008
- 841
-
Shortest Vector ProblemMicciancio, Daniele et al. | 2008
- 843
-
Similarity between Compressed StringsKim, Jin Wook / Amir, Amihood / Landau, Gad M. / Park, Kunsoo et al. | 2008
- 846
-
Single-Source Fully Dynamic ReachabilityDemetrescu, Camil / Italiano, Giuseppe F. et al. | 2008
- 847
-
Single-Source Shortest PathsPettie, Seth et al. | 2008
- 849
-
Ski Rental ProblemManasse, Mark S. et al. | 2008
- 852
-
Slicing Floorplan OrientationYoung, Evangeline F. Y. et al. | 2008
- 855
-
Snapshots in Shared MemoryRuppert, Eric et al. | 2008
- 858
-
Sorting Signed Permutations by Reversal (Reversal Distance)Bader, David A. et al. | 2008
- 858
-
Sojourn TimeKao, Ming-Yang et al. | 2008
- 858
-
Sorting of Multi-Dimensional KeysKao, Ming-Yang et al. | 2008
- 860
-
Sorting Signed Permutations by Reversal (Reversal Sequence)Tannier, Eric et al. | 2008
- 863
-
Sorting by Transpositions and Reversals (Approximate Ratio 1.5)Lu, Chin Lung et al. | 2008
- 866
-
Spanning RatioKao, Ming-Yang et al. | 2008
- 867
-
Sparse Graph SpannersElkin, Michael et al. | 2008
- 868
-
Sparsest CutChawla, Shuchi et al. | 2008
- 870
-
Spatial Databases and SearchKao, Ming-Yang et al. | 2008
- 870
-
Speed ScalingPruhs, Kirk et al. | 2008
- 871
-
Sphere Packing ProblemChen, Danny Z. et al. | 2008
- 874
-
Squares and RepetitionsCrochemore, Maxime / Rytter, Wojciech et al. | 2008
- 877
-
Stable MarriageIrving, Robert W. et al. | 2008
- 880
-
Stable Marriage and Discrete Convex AnalysisTamura, Akihisa et al. | 2008
- 883
-
Stable Marriage with Ties and Incomplete ListsIwama, Kazuo / Miyazaki, Shuichi et al. | 2008
- 885
-
Stable MatchingKao, Ming-Yang et al. | 2008
- 885
-
Stable Partition ProblemCechlárová, Katarína et al. | 2008
- 888
-
Stackelberg Games: The Price of OptimumKaporis, Alexis / Spirakis, Paul et al. | 2008
- 892
-
Statistical Multiple AlignmentMiklós, István et al. | 2008
- 892
-
Statistical Data CompressionKao, Ming-Yang et al. | 2008
- 894
-
Statistical Query LearningFeldman, Vitaly et al. | 2008
- 897
-
Steiner ForestSchäfer, Guido et al. | 2008
- 900
-
Steiner TreesHuang, Yaocun / Wu, Weili et al. | 2008
- 904
-
Stochastic SchedulingSethuraman, Jay et al. | 2008
- 906
-
StrategyproofKao, Ming-Yang et al. | 2008
- 906
-
Stretch FactorKao, Ming-Yang et al. | 2008
- 907
-
String SortingFagerberg, Rolf et al. | 2008
- 907
-
StringKao, Ming-Yang et al. | 2008
- 910
-
Substring ParsimonyBlanchette, Mathieu et al. | 2008
- 912
-
Succinct Data Structures for Parentheses MatchingHe, Meng et al. | 2008
- 915
-
Succinct Encoding of Permutations: Applications to Text IndexingBarbay, Jérémy / Munro, J. Ian et al. | 2008
- 919
-
Suffix Array ConstructionKärkkäinen, Juha et al. | 2008
- 922
-
Suffix Tree Construction in Hierarchical MemoryFerragina, Paolo et al. | 2008
- 925
-
Suffix Tree Construction in RAMStoye, Jens et al. | 2008
- 928
-
Support Vector MachinesCristianini, Nello / Ricci, Elisa et al. | 2008
- 932
-
Symbolic Model CheckingPrakash, Amit / Aziz, Adnan et al. | 2008
- 935
-
Synchronizers, SpannersElkin, Michael et al. | 2008
- 939
-
Table CompressionBuchsbaum, Adam L. / Giancarlo, Raffaele et al. | 2008
- 942
-
Tail Bounds for Occupancy ProblemsSpirakis, Paul et al. | 2008
- 944
-
Technology MappingKeutzer, Kurt / Ravindran, Kaushik et al. | 2008
- 947
-
Teleportation of Quantum StatesJain, Rahul et al. | 2008
- 950
-
Text IndexingAluru, Srinivas et al. | 2008
- 954
-
Thresholds of Random k-SatKaporis, Alexis / Kirousis, Lefteris et al. | 2008
- 956
-
Topology Approach in Distributed ComputingHerlihy, Maurice et al. | 2008
- 958
-
Trade-Offs for Dynamic Graph ProblemsDemetrescu, Camil / Italiano, Giuseppe F. et al. | 2008
- 961
-
Traveling Sales Person with Few Inner PointsOkamoto, Yoshio et al. | 2008
- 964
-
Tree Compression and IndexingFerragina, Paolo / Rao, S. Srinivasa et al. | 2008
- 964
-
Traveling Salesperson ProblemKao, Ming-Yang et al. | 2008
- 964
-
Tree AgreementKao, Ming-Yang et al. | 2008
- 964
-
Tree AlignmentKao, Ming-Yang et al. | 2008
- 968
-
Treewidth of GraphsBodlaender, Hans L. et al. | 2008
- 970
-
Truthful AuctionsKao, Ming-Yang et al. | 2008
- 970
-
TruthfulKao, Ming-Yang et al. | 2008
- 970
-
Triangle FindingKao, Ming-Yang et al. | 2008
- 970
-
Trip PlannerKao, Ming-Yang et al. | 2008
- 970
-
Truthful Mechanisms for One-Parameter AgentsBabaioff, Moshe et al. | 2008
- 973
-
Truthful MulticastWang, Weizhao / Li, Xiang-Yang / Wang, Yu et al. | 2008
- 976
-
t-SpannersKao, Ming-Yang et al. | 2008
- 976
-
Truthful Multicast RoutingKao, Ming-Yang et al. | 2008
- 976
-
TSP-Based Curve ReconstructionRamos, Edgar et al. | 2008
- 979
-
Two‐Dimensional Compressed MatchingKao, Ming-Yang et al. | 2008
- 979
-
Two-Dimensional Pattern IndexingNa, Joong Chae / Ferragina, Paolo / Giancarlo, Raffaele / Park, Kunsoo et al. | 2008
- 982
-
Two-Dimensional Pattern Matching with ScalingKao, Ming-Yang et al. | 2008
- 982
-
Two-Dimensional Scaled Pattern MatchingAmir, Amihood et al. | 2008
- 985
-
Two-Interval Pattern ProblemsVialette, Stéphane et al. | 2008
- 989
-
Two-Level Boolean MinimizationDick, Robert et al. | 2008
- 993
-
Two-Person GameKao, Ming-Yang et al. | 2008
- 993
-
Two-Player NashKao, Ming-Yang et al. | 2008
- 993
-
Two-Player GameKao, Ming-Yang et al. | 2008
- 995
-
Undirected Feedback Vertex SetGuo, Jiong et al. | 2008
- 996
-
Unified Energy-Efficient Unicast and Broadcast Topology ControlKao, Ming-Yang et al. | 2008
- 996
-
University Admissions ProblemKao, Ming-Yang et al. | 2008
- 997
-
Utilitarian Mechanism Design for Single-Minded AgentsKrysta, Piotr / Vöcking, Berthold et al. | 2008
- 997
-
Using Visualization in the Empirical Assessment of AlgorithmsKao, Ming-Yang et al. | 2008
- 1003
-
VCGKao, Ming-Yang et al. | 2008
- 1003
-
Vertex ColoringKao, Ming-Yang et al. | 2008
- 1003
-
Vertex Cover KernelizationChen, Jianer et al. | 2008
- 1003
-
Vertex Cover Data ReductionKao, Ming-Yang et al. | 2008
- 1003
-
Vector SortingKao, Ming-Yang et al. | 2008
- 1003
-
Valid-Utility GamesKao, Ming-Yang et al. | 2008
- 1006
-
Vertex Cover Search TreesChen, Jianer et al. | 2008
- 1006
-
Vertex Cover PreprocessingKao, Ming-Yang et al. | 2008
- 1008
-
Vickrey–Clarke–Groves MechanismKao, Ming-Yang et al. | 2008
- 1008
-
Visualization Techniques for Algorithm EngineeringDemetrescu, Camil / Italiano, Giuseppe F. et al. | 2008
- 1011
-
Voltage SchedulingLi, Minming et al. | 2008
- 1011
-
Voltage ScalingKao, Ming-Yang et al. | 2008
- 1013
-
Voting SystemsKao, Ming-Yang et al. | 2008
- 1015
-
Wait-Free SynchronizationMoir, Mark et al. | 2008
- 1015
-
Wait-Free RenamingKao, Ming-Yang et al. | 2008
- 1015
-
Wait-Free Shared VariablesKao, Ming-Yang et al. | 2008
- 1015
-
Wait-Free RegistersKao, Ming-Yang et al. | 2008
- 1015
-
Wait-Free ConsensusKao, Ming-Yang et al. | 2008
- 1020
-
Weighted CachingKao, Ming-Yang et al. | 2008
- 1020
-
Weighted Connected Dominating SetWang, Yu / Wang, Weizhao / Li, Xiang-Yang et al. | 2008
- 1020
-
Warehouse LocationKao, Ming-Yang et al. | 2008
- 1020
-
Weighted Bipartite MatchingKao, Ming-Yang et al. | 2008
- 1023
-
Weighted Popular MatchingsMestre, Julián et al. | 2008
- 1024
-
Weighted Random SamplingEfraimidis, Pavlos / Spirakis, Paul et al. | 2008
- 1027
-
Well Separated Pair DecompositionGao, Jie / Zhang, Li et al. | 2008
- 1030
-
Well Separated Pair Decomposition for Unit–Disk GraphKlein, Rolf et al. | 2008
- 1032
-
Wireless NetworksKao, Ming-Yang et al. | 2008
- 1032
-
Whole Genome AssembleKao, Ming-Yang et al. | 2008
- 1032
-
Wire SizingChu, Chris et al. | 2008
- 1035
-
Work-Function Algorithm for k ServersChrobak, Marek et al. | 2008
- 1037
-
XML Compression and IndexingKao, Ming-Yang et al. | 2008