Symposium on Abstraction, Reformulation, and Approximation
Tenth Symposium of Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
New Encoding for Translating Pseudo-Boolean Constraints into SAT

Aavani, Mitchell, Ternovska




Search conference