The Performance of Difference Coding for Sets and Relational Tables, by W.B. Wu and C.V. Ravishankar
Counterexample-guided Abstraction Refinement for Symbolic Model Checking, by E. Clarke, O. Grumberg, S. Jha, Y. Lu and H. Veith
Reasoning About Temporal Relations: The Tractable Subalgebras of Allen's Interval Algebra, by A. Krokhin, P. Jeavons, and P. Jonsson
The Geometric Maximum Traveling Salesman Problem, by A. Barvinok, D.S. Johnson, G.J. Woeginger, S.P. Fekete, A. Tamir, and R. Woodroofe
Definable Relations and First-Order Query Languages Over Strings, by M. Benedikt, L. Libkin, T. Schwentick, L. Segoufin
On the Generating Sequences of Regular Languages on k Symbols, by M-P. Beal and D. Perrin
Containment and Equivalence for a Fragment of XPath, by G. Miklau and D. Suciu
Existential Second-Order Logic over Graphs: Charting the Tractability Frontier, by G. Gottlob, P.G. Kolaitis, and T. Schwentick
Lenses in Arrangements of Pseudo-Circles and Their Applications, by P.K. Agarwal, E. Nevo, J. Pach, R. Pinchasi, M. Sharir, and S. Smorodinsky
Conditions on Input Vectors for Consensus Solvability in Asynchronous Distributed Systems, by A. Mostefaoui, S. Rajsbaum, M. Raynal
Magic Functions, by C. Dwork, M. Naor, O. Reingold, L. Stockmeyer
Improving Table Compression with Combinatorial Optimization, by A.L. Buchsbaum, G.S. Fowler, R. Giancarlo
Greedy Facility Location Algorithms Analyzed using Dual Fitting with Factor-Revealing LP, by K. Jain, M. Mahdian, E. Markakis, A. Saberi, V.V. Vazirani
The Security of all RSA and Discrete Log Bits, by J. Hastad and M. Naslund
Resolution Lower Bounds for the Weak Pigeonhole Principle, by R. Raz