A Computational Approach to the Graceful Tree Conjecture
A computational method for bounding the probability of reconstruction on trees
A Constructive Proof of the Cycle Double Cover Conjecture
A counterexample to Beck's conjecture on the discrepancy of three permutations
A course on Combinatorial Algorithms
A Decomposition Theory for Binary Linear Codes
A Deterministic Sub-linear Time Sparse Fourier Algorithm via Non-adaptive Compressed Sensing Methods
A Diameter-Revealing Proof of the Bondy-Lovász Lemma
A Discrete Choquet Integral for Ordered Systems
A distributed algorithm for computing and updating the process number of a forest
A Dynamical Boolean Network
A family of metrics on contact structures based on edge ideals
A Fast Heuristic Algorithm Based on Verification and Elimination Methods for Maximum Clique Problem
A formal proof of the four color theorem
A Generalization of Multiple Choice Balls-into-Bins: Tight Bounds
A generalized palindromization map in free monoids
A graph polynomial for independent sets of bipartite graphs
A Greedy Randomized Adaptive Search Procedure for Technicians and Interventions Scheduling for Telecommunications
A Kuratowski-Type Theorem for Planarity of Partially Embedded Graphs
A Lagrangian Relaxation for the Maximum Stable Set Problem