A Knowledge Compilation Take on Binary Polynomial Optimization
Fields of Study & Subjects
Formal Methods in Verification
Polynomial and algebraic computation
Commutative Algebra and Its Applications
Publication details
- Journal / source
- Mathematical Programming
- Publication date
- 10 June 2026
- Language
- EN