A Method for Constructing Minimally Unsatisfiable CNFs
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
Equilibrium Distributions in Open and Closed Statistical Systems Rank-metric codes over arbitrary Galois extensions and rank analogues of
  Reed-Muller codes On Circular Orbits in Einstein's Theory of Gravitation The road problem and homomorphisms of directed graphs Machine Learning Simulates Agent-Based Model Towards Policy Phase Vocoder Done Right The Complex-Step Derivative Approximation on Matrix Lie Groups Limits to Extensions of Burgers Equation Topological Approaches to Deep Learning Computing with space: a tangle formalism for chora and difference Faster Game Solving via Predictive Blackwell Approachability: Connecting
  Regret Matching and Mirror Descent A Method with Feedback for Aggregation of Group Incomplete Pair-Wise
  Comparisons Cold Atom Quantum Simulator for Dilute Neutron Matter On the Number of Many-to-Many Alignments of Multiple Sequences Mean charged multiplicities in charged-current neutrino scattering on
  hydrogen and deuterium Have a break from making decisions, have a MARS: The Multi-valued Action
  Reasoning System Dynamical systems accepting the normal shift on an arbitrary Riemannian
  manifold Structure Learning of $H$-colorings
cs.LO math.LO