Going from the huge to the small: Efficient succinct representation of
  proofs in Minimal implicational logic
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas
Singular dynamics and emergence of nonlocality in long-range quantum
  models Inverted orbits of exclusion processes, diffuse-extensive-amenability
  and (non-?)amenability of the interval exchanges Experimental realization of the active convolved illumination imaging
  technique for enhanced signal-to-noise ratio A Direct $\tilde{O}(1/\epsilon)$ Iteration Parallel Algorithm for
  Optimal Transport Magnetic Response in the Holographic Insulator/Superconductor Transition On the comparison of volumes of quantum states Stabilization of light bullets in nonlinear metamaterial waveguides Spin Operators for Massive Particles Chemistry on Rotating Grain Surface: Ro-Thermal Desorption of Molecules
  from Ice Mantles Learning Theory for Estimation of Animal Motion Submanifolds Berezin Integrals and Poisson Processes Using GPUs and the Parameterization Method for Rapid Search and
  Refinement of Connections between Tori in Periodically Perturbed Planar
  Circular Restricted 3-Body Problems Symmetry breaking and coarsening in spatially distributed evolutionary
  processes including sexual reproduction and disruptive selection Social cohesion V.S. task cohesion: An evolutionary game theory study Exeum: A Decentralized Financial Platform for Price-Stable
  Cryptocurrencies Intersection of unit balls in classical matrix ensembles Partially phase-locked solutions to the Kuramoto model Determination of multiwavelength anomalous diffraction coefficients at
  high x-ray intensity Decoherence in composite quantum open systems: the effectiveness of
  unstable degrees of freedom
cs.CC cs.LO