Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Proceedings 8th International Workshop on Theorem Proving Components for
  Educational Software
On unbiased performance evaluation for protein inference Transform Quantization for CNN (Convolutional Neural Network)
  Compression Exact feature probabilities in images with occlusion Unveiling the singular dynamics in the cosmic large-scale structure Zig-zag sampling for discrete structures and non-reversible phylogenetic
  MCMC On the existence of closed magnetic geodesics via symplectic reduction Copula-based anomaly scoring and localization for large-scale,
  high-dimensional continuous data Efficient conversion from rotating matrix to rotation axis and angle by
  extending Rodrigues' formula Protecting Privacy through Distributed Computation in Multi-agent
  Decision Making Building social networks under consent: A survey Construction of energy density functional for arbitrary spin
  polarization using functional renormalization group Challenges of Growing Social Media Networks From the Bottom-Up Through
  the Agent Perspective Solitons and their stability in the nonlocal nonlinear Schroedinger
  equation with PT-symmetric potentials Estimating the Number of Connected Components in a Graph via Subgraph
  Sampling Code Minimization for Fringe Projection Based 3D Stereo Sensors by
  Calibration Improvement A Novel Framework Integrating AI Model and Enzymological Experiments
  Promotes Identification of SARS-CoV-2 3CL Protease Inhibitors and
  Activity-based Probe Exceptional points in open and PT symmetric systems A Model-Independent Radio Telescope Dark Matter Search Trusty URIs: Verifiable, Immutable, and Permanent Digital Artifacts for
  Linked Data Water wave propagation and scattering over topographical bottoms Evolutionary Game for Consensus Provision in Permissionless Blockchain
  Networks with Shard
cs.LO cs.AI