Anti-unification in Constraint Logic Programming
The Hardness of Synthesizing Elementary Net Systems from Highly
  Restricted Inputs
Distributed Processing for Encoding and Decoding of Binary LDPC codes
  using MPI Complexity and Approximation of the Continuous Network Design Problem On Soliton Solutions of the Anti-Self-Dual Yang-Mills Equations from the
  Perspective of Integrable Systems A randomized measurement toolbox for Rydberg quantum technologies A Model-Independent Radio Telescope Dark Matter Search Effective range from tetramer dissociation data for cesium atoms Computation and Bribery of Voting Power in Delegative Simple Games Pseudo-spontaneous $U(1)$ Symmetry Breaking in Hydrodynamics and
  Holography Emergence of Zipf's Law in the Evolution of Communication Bayesian inference in band excitation Scanning Probe Microscopy for
  optimal dynamic model selection in imaging Process discovery on deviant traces and other stranger things A shape optimization problem for the $p$-Laplacian Surface Energy in Cold Asymmetrical Fermion Superfluids The Sloan Digital Sky Survey Reverberation Mapping Project: Technical
  Overview An inequality for the compositions of convex functions with convolutions
  and an alternative proof of the Brunn-Minkowski-Kemperman inequality Nonlinear charge transport in DNA mediated by twist modes Transient Work Function Gating: A New Photoemission Regime Pressure and flow statistics of Darcy flow from simulated annealing
cs.LO cs.CC