Generalising unit-refutation completeness and SLUR via nested input
  resolution
Generating Random Logic Programs Using Constraint Programming
Experimental study and reaction path modeling of the carbonation of
  natural serpentinites Resilience of constituent solitons in multisoliton scattering off
  barriers Functional Degrees And Arithmetic Applications, I: The Set Of Functional
  Degrees String monopoles, string walls, vortex-skyrmions and nexus objects in
  polar distorted B-phase of $^3$He Epidemic Waves, Small Worlds and Targeted Vaccination Embarrassingly Parallel Variational Inference in Nonconjugate Models Topological Field Theory of Non-Hermitian Systems Identical particles in quantum mechanics: favouring the Received View Identification of Chimera using Machine Learning Scheduling Servers with Stochastic Bilinear Rewards Multidimensional Manhattan Preferences Restricted equivalence of paired epsilon-negative and mu-negative layers
  to a negative phase-velocity material ({\em alias} left-handed material) Optical rogue waves in the generalized inhomogeneous higher-order
  nonlinear Schrodinger equation with modulating coefficients 2-vector bundles Symmetry, Local Linearization, and Gauge Classification of the
  Doebner-Goldin Equation Photonic mid-infrared nulling for exoplanet detection on a planar
  chalcogenide platform String Holonomy and Extrinsic Geometry in Four-dimensional Topological
  Gauge Theory Algebraization of difference eigenvalue equations related to $U_q(sl_2)$
cs.LO cs.AI