Problems parameterized by treewidth tractable in single exponential time: a logical approach
Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers
Property Testing for Cyclic Groups and Beyond
Property Testing via Set-Theoretic Operations
Provably Fast and Accurate Recovery of Evolutionary Trees through Harmonic Greedy Triplets
Pseudo-random graphs and bit probe schemes with one-sided error
PTAS for k-tour cover problem on the plane for moderately large values of k
Ptolemaic Indexing
Pull-Based Data Broadcast with Dependencies: Be Fair to Users, not to Items
Pyro-Align: Sample-Align based Multiple Alignment system for Pyrosequencing Reads of Large Number
Python for education: the exact cover problem