A Tight Linearization Strategy for Zero-One Quadratic Programming Problems
A Tighter Analysis of Setcover Greedy Algorithm for Test Set
A Unified Framework for Testing Linear-Invariant Properties
A unifying framework for seed sensitivity and its application to subset seeds
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between
A Variable Depth Sequential Search Heuristic for the Quadratic Assignment Problem
A Versatile Algorithm to Generate Various Combinatorial Structures
A Very Efficient Scheme for Estimating Entropy of Data Streams Using Compressed Counting
A weighted message-passing algorithm to estimate volume-related properties of random polytopes
About the finding of independent vertices of a graph
Abstract unordered and ordered trees CRDT
Abstraction and Refinement in Static Model-Checking
Accelerated Data-Flow Analysis
Access Graphs Results for LRU versus FIFO under Relative Worst Order Analysis
Active Property Testing
Acyclic and Star Colorings of Cographs
Acyclic Preference Systems in P2P Networks
Ad Serving Using a Compact Allocation Plan
Adaptive Codes: A New Class of Non-standard Variable-length Codes
Adaptive Dynamics of Realistic Small-World Networks