Discrete Optimization
705 directly classified papers
Papers per year
Papers
Formally Verified SAT-Based AI Planning
AAAI 2023
Sparse PCA: a Geometric Approach
JMLR 2023
705 directly classified papers