On the speed of constraint propagation and the time complexity of arc
  consistency testing
IDP-Z3: a reasoning engine for FO(.)
Construction of Special Solutions for Nonintegrable Systems Optical spin-to-orbital angular momentum conversion in inhomogeneous
  anisotropic media Enhanced light collection from a gallium nitride color center using a
  near index-matched solid immersion lens Latent Poisson models for networks with heterogeneous density Quantum-Classical Phase Transition of Escape rate in Biaxial Spin
  Particles On the origin of the exponential decay of the Loschmidt echo in
  integrable systems Golod-Shafarevich-Vinberg type theorems and finiteness conditions for
  potential algebras EpidemiOptim: A Toolbox for the Optimization of Control Policies in
  Epidemiological Models Language discrimination and clustering via a neural network approach Stokes manifolds and cluster algebras On the stability of satellites at unstable libration points of
  sun-planet-moon systems C programs for solving the time-dependent Gross-Pitaevskii equation in a
  fully anisotropic trap Quantum Random Numbers generated by the Cloud Superconducting Quantum
  Computer On the Coefficients of a Hyperbolic Hydrodynamic Model Remarks on Quantum Physics and Noncommutative Geometry Overview of the CLEF-2019 CheckThat!: Automatic Identification and
  Verification of Claims Acoustic horizons for axially and spherically symmetric fluid flow Rotating optical cavity experiment testing Lorentz invariance at the
  10^{-17} level On the High-dimensional Power of Linear-time Kernel Two-Sample Testing
  under Mean-difference Alternatives Biases in human mobility data impact epidemic modeling Spinors, Nonlinear Connections, and Nearly Autoparallel Maps of
  Generalized Finsler Spaces Discovering Ultra High Energy Neutrinos by Horizontal and Upward tau
  Air-Showers: Evidences in Terrestrial Gamma Flashes? Robust and scalable h-adaptive aggregated unfitted finite elements for
  interface elliptic problems NNP/MM: Fast molecular dynamics simulations with machine learning
  potentials and molecular mechanics
cs.LO cs.AI