Improving Automatic Complexity Analysis of Integer Programs
Evaluating Automatic Difficulty Estimation of Logic Formalization
  Exercises
Granular Computing: An Augmented Scheme of Degranulation Through a
  Modified Partition Matrix Mathematical decisions and non-causal elements of explainable AI Simulating the weak death of the neutron in a femtoscale universe with
  near-Exascale computing How neural networks find generalizable solutions: Self-tuned annealing
  in deep learning Meron-Cluster Approach to Systems of Strongly Correlated Electrons A branch-and-price approach with MILP formulation to modularity density
  maximization on graphs A Generalized Labeled Multi-Bernoulli Filter for Maneuvering Targets Diffractive optical system design by cascaded propagation $Q_{\alpha}$-Normal Families and entire functions Computing Truncated Joint Approximate Eigenbases for Model Order
  Reduction Incremental Satisfiability and Implication for UTVPI Constraints Easily repairable networks Analytical Solution for Wave Propagation in Stratified Poroelastic
  Medium. Part I: the 2D Case GPU Acceleration of an Established Solar MHD Code using OpenACC The Inner Structure of Time-Dependent Signals Transparent FPGA Acceleration with TensorFlow
cs.LO